SettingsBasicPermutation 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	COLUMNS_PER_SET = 2
static constexpr size_t	INVERSE_EXISTS_POLYNOMIAL_DEGREE = 2
static constexpr size_t	NUM_POLYS

Detailed Description

Definition at line 18 of file generic_permutation_relation.test.cpp.

Member Typedef Documentation

AllEntities

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

Definition at line 28 of file generic_permutation_relation.test.cpp.

Member Function Documentation

compute_inverse_exists()

template<typename Accumulator >

static Accumulator SettingsBasicPermutation::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 43 of file generic_permutation_relation.test.cpp.

get_const_entities()

template<typename AE >

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

inlinestatic

Definition at line 51 of file generic_permutation_relation.test.cpp.

get_nonconst_entities()

template<typename AE >

static auto SettingsBasicPermutation::get_nonconst_entities ( AE &  in )

inlinestatic

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

inverse_polynomial_is_computed_at_row()

static bool SettingsBasicPermutation::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 33 of file generic_permutation_relation.test.cpp.

Member Data Documentation

COLUMNS_PER_SET

constexpr size_t SettingsBasicPermutation::COLUMNS_PER_SET = 2

staticconstexpr

Definition at line 19 of file generic_permutation_relation.test.cpp.

INVERSE_EXISTS_POLYNOMIAL_DEGREE

constexpr size_t SettingsBasicPermutation::INVERSE_EXISTS_POLYNOMIAL_DEGREE = 2

staticconstexpr

Definition at line 20 of file generic_permutation_relation.test.cpp.

NUM_POLYS

constexpr size_t SettingsBasicPermutation::NUM_POLYS

staticconstexpr

Initial value:

= 1 +               
                                        1 +               
                                        1 +               
                                        COLUMNS_PER_SET + 
                                        COLUMNS_PER_SET

Definition at line 22 of file generic_permutation_relation.test.cpp.

---

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

• src/barretenberg/relations/generic_permutation/generic_permutation_relation.test.cpp