bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings > Class Template Reference

#include <test_interaction_builder.hpp>

Inheritance diagram for bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings >:

Public Types
using	ArrayTuple = std::array< FF, PermutationSettings::COLUMNS_PER_SET >

Public Member Functions
void	process (TraceContainer &trace) override
Public Member Functions inherited from bb::avm2::tracegen::PermutationBuilder< PermutationSettings >
void	process (TraceContainer &) override
Public Member Functions inherited from bb::avm2::tracegen::InteractionBuilderInterface
virtual	~InteractionBuilderInterface ()=default

Private Attributes
unordered_flat_map< ArrayTuple, std::unordered_set< uint32_t > >	source_tuples
unordered_flat_map< ArrayTuple, std::unordered_set< uint32_t > >	destination_tuples

Detailed Description

template<typename PermutationSettings>
class bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings >

Definition at line 52 of file test_interaction_builder.hpp.

Member Typedef Documentation

ArrayTuple

template<typename PermutationSettings >

using bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings >::ArrayTuple = std::array<FF, PermutationSettings::COLUMNS_PER_SET>

Definition at line 54 of file test_interaction_builder.hpp.

Member Function Documentation

process()

template<typename PermutationSettings >

void bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings >::process ( TraceContainer &  trace )

inlineoverridevirtual

Implements bb::avm2::tracegen::InteractionBuilderInterface.

Definition at line 56 of file test_interaction_builder.hpp.

Member Data Documentation

destination_tuples

template<typename PermutationSettings >

unordered_flat_map<ArrayTuple, std::unordered_set<uint32_t> > bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings >::destination_tuples

private

Definition at line 116 of file test_interaction_builder.hpp.

source_tuples

template<typename PermutationSettings >

unordered_flat_map<ArrayTuple, std::unordered_set<uint32_t> > bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings >::source_tuples

private

Definition at line 115 of file test_interaction_builder.hpp.

---

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

• src/barretenberg/vm2/tracegen/lib/test_interaction_builder.hpp