Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings > Class Template Reference

#include <test_interaction_builder.hpp>

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

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 &trace) 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

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: