bb::GenericLookupSettings Concept Reference

Concept defining the requirements for the Settings struct used to configure the GenericLookupRelationImpl. More...

#include <generic_lookup_relation.hpp>

Concept definition

template<typename S>
concept bb::GenericLookupSettings =  requires {
    
    
    
    requires std::is_same_v<decltype(S::NUM_LOOKUP_TERMS), const size_t>;
    requires std::is_same_v<decltype(S::NUM_TABLE_TERMS), const size_t>;
 
    
    requires std::is_same_v<decltype(S::LOOKUP_TYPES), const std::array<uint8_t, S::NUM_LOOKUP_TERMS>>;
    
    requires std::is_same_v<decltype(S::TABLE_TYPES), const std::array<uint8_t, S::NUM_TABLE_TERMS>>;
    
    requires std::is_same_v<decltype(S::LOOKUP_TERM_DEGREES), const std::array<size_t, S::NUM_LOOKUP_TERMS>>;
    
    requires std::is_same_v<decltype(S::TABLE_TERM_DEGREES), const std::array<size_t, S::NUM_TABLE_TERMS>>;
 
    requires std::is_same_v<decltype(S::LOOKUP_TUPLE_SIZE), const size_t>; 
 
    
    requires std::is_same_v<decltype(S::INVERSE_EXISTS_POLYNOMIAL_DEGREE), const size_t>;
 
    
    
    
    
    
    
    
}

Detailed Description

Concept defining the requirements for the Settings struct used to configure the GenericLookupRelationImpl.

This is the concept that should be satisfied by lookup settings. As the AVM instantiates many lookup relations (+200), enforcing this concept hurts compilation times. Thus, we only use this concept for documentation purposes.

Definition at line 151 of file generic_lookup_relation.hpp.