bb::avm2::simulation::FieldGreaterThan Class Reference

#include <field_gt.hpp>

Inheritance diagram for bb::avm2::simulation::FieldGreaterThan:

Public Member Functions
	FieldGreaterThan (RangeCheckInterface &range_check, EventEmitterInterface< FieldGreaterThanEvent > &event_emitter)
bool	ff_gt (const FF &a, const FF &b) override
U256Decomposition	canon_dec (const FF &a) override
Public Member Functions inherited from bb::avm2::simulation::FieldGreaterThanInterface
virtual	~FieldGreaterThanInterface ()=default

Private Attributes
RangeCheckInterface &	range_check
EventEmitterInterface< FieldGreaterThanEvent > &	events

Detailed Description

Definition at line 17 of file field_gt.hpp.

Constructor & Destructor Documentation

FieldGreaterThan()

bb::avm2::simulation::FieldGreaterThan::FieldGreaterThan ( RangeCheckInterface &  range_check, EventEmitterInterface< FieldGreaterThanEvent > &  event_emitter  )

inline

Definition at line 19 of file field_gt.hpp.

Member Function Documentation

canon_dec()

U256Decomposition bb::avm2::simulation::FieldGreaterThan::canon_dec ( const FF &  a )

overridevirtual

Implements bb::avm2::simulation::FieldGreaterThanInterface.

Definition at line 66 of file field_gt.cpp.

ff_gt()

bool bb::avm2::simulation::FieldGreaterThan::ff_gt ( const FF &  a, const FF &  b  )

overridevirtual

Implements bb::avm2::simulation::FieldGreaterThanInterface.

Definition at line 35 of file field_gt.cpp.

Member Data Documentation

events

EventEmitterInterface<FieldGreaterThanEvent>& bb::avm2::simulation::FieldGreaterThan::events

private

Definition at line 29 of file field_gt.hpp.

range_check

RangeCheckInterface& bb::avm2::simulation::FieldGreaterThan::range_check

private

Definition at line 28 of file field_gt.hpp.

---

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

• src/barretenberg/vm2/simulation/field_gt.hpp
• src/barretenberg/vm2/simulation/field_gt.cpp