bb::avm2::tracegen::LookupIntoIndexedByClk< LookupSettings > Class Template Reference

#include <lookup_into_indexed_by_clk.hpp>

Inheritance diagram for bb::avm2::tracegen::LookupIntoIndexedByClk< LookupSettings >:

Protected Member Functions
uint32_t	find_in_dst (const std::array< FF, LookupSettings::LOOKUP_TUPLE_SIZE > &tup) const override
Protected Member Functions inherited from bb::avm2::tracegen::IndexedLookupTraceBuilder< LookupSettings >
virtual void	init (TraceContainer &)

Additional Inherited Members
Public Member Functions inherited from bb::avm2::tracegen::IndexedLookupTraceBuilder< LookupSettings >
	IndexedLookupTraceBuilder ()
	IndexedLookupTraceBuilder (Column outer_dst_selector)
	~IndexedLookupTraceBuilder () override=default
void	process (TraceContainer &trace) override
Public Member Functions inherited from bb::avm2::tracegen::InteractionBuilderInterface
virtual	~InteractionBuilderInterface ()=default
Protected Types inherited from bb::avm2::tracegen::IndexedLookupTraceBuilder< LookupSettings >
using	LookupSettings = LookupSettings
Protected Attributes inherited from bb::avm2::tracegen::IndexedLookupTraceBuilder< LookupSettings >
Column	outer_dst_selector

Detailed Description

template<typename LookupSettings>
class bb::avm2::tracegen::LookupIntoIndexedByClk< LookupSettings >

Lookup trace builder used for lookups that lookup into tuples which are indexed by clk, i.e., whose first tuple element is clk column. For instance, with a tuple of size 1 we have the basic 8 or 16 bit range checks. Example: sel { dyn_diff } in precomputed.sel_range_16 {precomputed.clk }; An example with a size 2 tuple (p denotes precomputed): start {tag, ctr} in p.sel_tag_parameters {p.clk, p.tag_byte_length};

Definition at line 17 of file lookup_into_indexed_by_clk.hpp.

Member Function Documentation

find_in_dst()

template<typename LookupSettings >

uint32_t bb::avm2::tracegen::LookupIntoIndexedByClk< LookupSettings >::find_in_dst ( const std::array< FF, LookupSettings::LOOKUP_TUPLE_SIZE > &  tup ) const

inlineoverrideprotectedvirtual

Implements bb::avm2::tracegen::IndexedLookupTraceBuilder< LookupSettings >.

Definition at line 20 of file lookup_into_indexed_by_clk.hpp.

---

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

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