Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::simulation::RangeCheck Class Reference

#include <range_check.hpp>

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

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 17 of file range_check.hpp.

Constructor & Destructor Documentation

◆ RangeCheck()

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

Definition at line 19 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 26 of file range_check.hpp.


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