SettingsBasicLookup Struct Reference

Public Types
using	AllEntities = std::array< FF, NUM_POLYS >

Static Public Member Functions
static bool	inverse_polynomial_is_computed_at_row (const AllEntities &in)
	Returns true if either predicate is active, meaning inverse must be computed at this row.
template<typename Accumulator >
static Accumulator	compute_inverse_exists (const AllEntities &in)
	OR(lookup_pred, table_pred) via the inclusion-exclusion formula A + B - A*B.
template<typename AE >
static auto	get_const_entities (const AE &in)
template<typename AE >
static auto	get_nonconst_entities (AE &in)

Static Public Attributes
static constexpr size_t	NUM_LOOKUP_TERMS = 1
static constexpr size_t	NUM_TABLE_TERMS = 1
static constexpr size_t	LOOKUP_TUPLE_SIZE = 2
static constexpr size_t	INVERSE_EXISTS_POLYNOMIAL_DEGREE = 2
static constexpr std::array< uint8_t, NUM_LOOKUP_TERMS >	LOOKUP_TYPES = { BASIC_LOOKUP }
static constexpr std::array< uint8_t, NUM_TABLE_TERMS >	TABLE_TYPES = { BASIC_TABLE }
static constexpr std::array< size_t, NUM_LOOKUP_TERMS >	LOOKUP_TERM_DEGREES = { 1 }
static constexpr std::array< size_t, NUM_TABLE_TERMS >	TABLE_TERM_DEGREES = { 1 }
static constexpr size_t	NUM_POLYS

Detailed Description

Definition at line 56 of file generic_lookup_relation.test.cpp.

Member Typedef Documentation

AllEntities

using SettingsBasicLookup::AllEntities = std::array<FF, NUM_POLYS>

Definition at line 75 of file generic_lookup_relation.test.cpp.

Member Function Documentation

compute_inverse_exists()

template<typename Accumulator >

static Accumulator SettingsBasicLookup::compute_inverse_exists ( const AllEntities &  in )

inlinestatic

OR(lookup_pred, table_pred) via the inclusion-exclusion formula A + B - A*B.

This is a degree-2 polynomial in the predicates, matching INVERSE_EXISTS_POLYNOMIAL_DEGREE=2.

Definition at line 90 of file generic_lookup_relation.test.cpp.

get_const_entities()

template<typename AE >

static auto SettingsBasicLookup::get_const_entities ( const AE &  in )

inlinestatic

Definition at line 98 of file generic_lookup_relation.test.cpp.

get_nonconst_entities()

template<typename AE >

static auto SettingsBasicLookup::get_nonconst_entities ( AE &  in )

inlinestatic

Definition at line 103 of file generic_lookup_relation.test.cpp.

inverse_polynomial_is_computed_at_row()

static bool SettingsBasicLookup::inverse_polynomial_is_computed_at_row ( const AllEntities &  in )

inlinestatic

Returns true if either predicate is active, meaning inverse must be computed at this row.

Definition at line 80 of file generic_lookup_relation.test.cpp.

Member Data Documentation

INVERSE_EXISTS_POLYNOMIAL_DEGREE

constexpr size_t SettingsBasicLookup::INVERSE_EXISTS_POLYNOMIAL_DEGREE = 2

staticconstexpr

Definition at line 60 of file generic_lookup_relation.test.cpp.

LOOKUP_TERM_DEGREES

constexpr std::array<size_t, NUM_LOOKUP_TERMS> SettingsBasicLookup::LOOKUP_TERM_DEGREES = { 1 }

staticconstexpr

Definition at line 65 of file generic_lookup_relation.test.cpp.

LOOKUP_TUPLE_SIZE

constexpr size_t SettingsBasicLookup::LOOKUP_TUPLE_SIZE = 2

staticconstexpr

Definition at line 59 of file generic_lookup_relation.test.cpp.

LOOKUP_TYPES

constexpr std::array<uint8_t, NUM_LOOKUP_TERMS> SettingsBasicLookup::LOOKUP_TYPES = { BASIC_LOOKUP }

staticconstexpr

Definition at line 62 of file generic_lookup_relation.test.cpp.

NUM_LOOKUP_TERMS

constexpr size_t SettingsBasicLookup::NUM_LOOKUP_TERMS = 1

staticconstexpr

Definition at line 57 of file generic_lookup_relation.test.cpp.

NUM_POLYS

constexpr size_t SettingsBasicLookup::NUM_POLYS

staticconstexpr

Initial value:

= 1 +                                      
                                        NUM_TABLE_TERMS +                        
                                        NUM_LOOKUP_TERMS +                       
                                        NUM_TABLE_TERMS +                        
                                        (LOOKUP_TUPLE_SIZE * NUM_LOOKUP_TERMS) + 
                                        (LOOKUP_TUPLE_SIZE * NUM_TABLE_TERMS)

Definition at line 68 of file generic_lookup_relation.test.cpp.

NUM_TABLE_TERMS

constexpr size_t SettingsBasicLookup::NUM_TABLE_TERMS = 1

staticconstexpr

Definition at line 58 of file generic_lookup_relation.test.cpp.

TABLE_TERM_DEGREES

constexpr std::array<size_t, NUM_TABLE_TERMS> SettingsBasicLookup::TABLE_TERM_DEGREES = { 1 }

staticconstexpr

Definition at line 66 of file generic_lookup_relation.test.cpp.

TABLE_TYPES

constexpr std::array<uint8_t, NUM_TABLE_TERMS> SettingsBasicLookup::TABLE_TYPES = { BASIC_TABLE }

staticconstexpr

Definition at line 63 of file generic_lookup_relation.test.cpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/relations/generic_lookup/generic_lookup_relation.test.cpp