bb::avm2::tracegen::RangeCheckTraceBuilder Class Reference

#include <range_check_trace.hpp>

Public Member Functions
void	process (const simulation::EventEmitterInterface< simulation::RangeCheckEvent >::Container &events, TraceContainer &trace)

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 13 of file range_check_trace.hpp.

Member Function Documentation

process()

void bb::avm2::tracegen::RangeCheckTraceBuilder::process	(	const simulation::EventEmitterInterface< simulation::RangeCheckEvent >::Container &	events,
		TraceContainer &	trace
	)

Definition at line 16 of file range_check_trace.cpp.

Member Data Documentation

interactions

const InteractionDefinition bb::avm2::tracegen::RangeCheckTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        .add<lookup_range_check_dyn_diff_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_dyn_rng_chk_pow_2_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_r0_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_r1_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_r2_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_r3_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_r4_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_r5_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_r6_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_range_check_r7_is_u16_settings, InteractionType::LookupIntoIndexedByClk>()

Definition at line 18 of file range_check_trace.hpp.

---

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

• src/barretenberg/vm2/tracegen/range_check_trace.hpp
• src/barretenberg/vm2/tracegen/range_check_trace.cpp