bb::avm2::permutation_relation_base< FF_, Settings_ > Struct Template Reference

#include <interactions_base.hpp>

Inheritance diagram for bb::avm2::permutation_relation_base< FF_, Settings_ >:

Public Types
using	Settings = Settings_
Public Types inherited from bb::Relation< RelationImpl >
using	FF = typename RelationImpl::FF
template<size_t NUM_KEYS>
using	ProtogalaxyTupleOfUnivariatesOverSubrelationsNoOptimisticSkipping = TupleOfUnivariates< FF, compute_composed_subrelation_partial_lengths< NUM_KEYS >(SUBRELATION_TOTAL_LENGTHS)>
template<size_t NUM_KEYS>
using	ProtogalaxyTupleOfUnivariatesOverSubrelations = TupleOfUnivariatesWithOptimisticSkipping< FF, compute_composed_subrelation_partial_lengths< NUM_KEYS >(SUBRELATION_TOTAL_LENGTHS), NUM_KEYS - 1 >
using	SumcheckTupleOfUnivariatesOverSubrelations = TupleOfUnivariates< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS >
using	SumcheckArrayOfValuesOverSubrelations = ArrayOfValues< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS >
using	UnivariateAccumulator0 = std::tuple_element_t< 0, SumcheckTupleOfUnivariatesOverSubrelations >
using	ValueAccumulator0 = std::tuple_element_t< 0, SumcheckArrayOfValuesOverSubrelations >

Static Public Member Functions
template<typename AllEntities >
static bool	skip (const AllEntities &in)
static std::string	get_subrelation_label (size_t index)

Static Public Attributes
static constexpr std::string_view	NAME = Settings::NAME
static constexpr std::string_view	RELATION_NAME = Settings::RELATION_NAME
Static Public Attributes inherited from bb::Relation< RelationImpl >
static constexpr std::array< size_t, RelationImpl::SUBRELATION_PARTIAL_LENGTHS.size()>	SUBRELATION_TOTAL_LENGTHS
static constexpr size_t	RELATION_LENGTH
static constexpr size_t	TOTAL_RELATION_LENGTH

Detailed Description

template<typename FF_, typename Settings_>
struct bb::avm2::permutation_relation_base< FF_, Settings_ >

Definition at line 136 of file interactions_base.hpp.

Member Typedef Documentation

Settings

template<typename FF_ , typename Settings_ >

using bb::avm2::permutation_relation_base< FF_, Settings_ >::Settings = Settings_

Definition at line 137 of file interactions_base.hpp.

Member Function Documentation

get_subrelation_label()

template<typename FF_ , typename Settings_ >

static std::string bb::avm2::permutation_relation_base< FF_, Settings_ >::get_subrelation_label ( size_t  index )

inlinestatic

Definition at line 146 of file interactions_base.hpp.

skip()

template<typename FF_ , typename Settings_ >

template<typename AllEntities >

static bool bb::avm2::permutation_relation_base< FF_, Settings_ >::skip ( const AllEntities &  in )

inlinestatic

Definition at line 141 of file interactions_base.hpp.

Member Data Documentation

NAME

template<typename FF_ , typename Settings_ >

constexpr std::string_view bb::avm2::permutation_relation_base< FF_, Settings_ >::NAME = Settings::NAME

staticconstexpr

Definition at line 138 of file interactions_base.hpp.

RELATION_NAME

template<typename FF_ , typename Settings_ >

constexpr std::string_view bb::avm2::permutation_relation_base< FF_, Settings_ >::RELATION_NAME = Settings::RELATION_NAME

staticconstexpr

Definition at line 139 of file interactions_base.hpp.

---

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

• src/barretenberg/vm2/constraining/relations/interactions_base.hpp