bb::avm2::simulation::RangeCheck Class Reference

#include <range_check.hpp>

Inheritance diagram for bb::avm2::simulation::RangeCheck:

Public Member Functions
	RangeCheck (EventEmitterInterface< RangeCheckEvent > &event_emitter)
void	assert_range (uint128_t value, uint8_t num_bits) override
Public Member Functions inherited from bb::avm2::simulation::RangeCheckInterface
virtual	~RangeCheckInterface ()=default

Private Attributes
EventEmitterInterface< RangeCheckEvent > &	events

Detailed Description

Definition at line 12 of file range_check.hpp.

Constructor & Destructor Documentation

RangeCheck()

bb::avm2::simulation::RangeCheck::RangeCheck ( EventEmitterInterface< RangeCheckEvent > &  event_emitter )

inline

Definition at line 14 of file range_check.hpp.

Member Function Documentation

assert_range()

void bb::avm2::simulation::RangeCheck::assert_range ( uint128_t  value, uint8_t  num_bits  )

overridevirtual

Implements bb::avm2::simulation::RangeCheckInterface.

Definition at line 8 of file range_check.cpp.

Member Data Documentation

events

EventEmitterInterface<RangeCheckEvent>& bb::avm2::simulation::RangeCheck::events

private

Definition at line 21 of file range_check.hpp.

---

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

• src/barretenberg/vm2/simulation/gadgets/range_check.hpp
• src/barretenberg/vm2/simulation/gadgets/range_check.cpp