#include <field_gt_event.hpp>

Public Types
using	Key = std::tuple< FieldGreaterOperation, FF, FF >

Public Member Functions
Key	get_key () const

bool	operator== (const FieldGreaterThanEvent &other) const =default

Public Attributes
FieldGreaterOperation	operation

FF	a

FF	b = FF::zero()

U256Decomposition	a_limbs = { 0, 0 }

LimbsComparisonWitness	p_sub_a_witness

U256Decomposition	b_limbs = { 0, 0 }

LimbsComparisonWitness	p_sub_b_witness = { 0, 0, false }

LimbsComparisonWitness	res_witness = { 0, 0, false }

bool	gt_result = false

Detailed Description

Definition at line 23 of file field_gt_event.hpp.

Member Typedef Documentation

◆ Key

using bb::avm2::simulation::FieldGreaterThanEvent::Key = std::tuple<FieldGreaterOperation, FF, FF>

Definition at line 35 of file field_gt_event.hpp.

Member Function Documentation

◆ get_key()

Key bb::avm2::simulation::FieldGreaterThanEvent::get_key ( ) const

inline

Definition at line 36 of file field_gt_event.hpp.

◆ operator==()

bool bb::avm2::simulation::FieldGreaterThanEvent::operator== ( const FieldGreaterThanEvent & other ) const

default

Member Data Documentation

◆ a

FF bb::avm2::simulation::FieldGreaterThanEvent::a

Definition at line 25 of file field_gt_event.hpp.

◆ a_limbs

U256Decomposition bb::avm2::simulation::FieldGreaterThanEvent::a_limbs = { 0, 0 }

Definition at line 27 of file field_gt_event.hpp.

◆ b

FF bb::avm2::simulation::FieldGreaterThanEvent::b = FF::zero()

Definition at line 26 of file field_gt_event.hpp.

◆ b_limbs

U256Decomposition bb::avm2::simulation::FieldGreaterThanEvent::b_limbs = { 0, 0 }

Definition at line 29 of file field_gt_event.hpp.

◆ gt_result

bool bb::avm2::simulation::FieldGreaterThanEvent::gt_result = false

Definition at line 32 of file field_gt_event.hpp.

◆ operation

FieldGreaterOperation bb::avm2::simulation::FieldGreaterThanEvent::operation

Definition at line 24 of file field_gt_event.hpp.

◆ p_sub_a_witness

LimbsComparisonWitness bb::avm2::simulation::FieldGreaterThanEvent::p_sub_a_witness

Definition at line 28 of file field_gt_event.hpp.

◆ p_sub_b_witness

LimbsComparisonWitness bb::avm2::simulation::FieldGreaterThanEvent::p_sub_b_witness = { 0, 0, false }

Definition at line 30 of file field_gt_event.hpp.

◆ res_witness

LimbsComparisonWitness bb::avm2::simulation::FieldGreaterThanEvent::res_witness = { 0, 0, false }

Definition at line 31 of file field_gt_event.hpp.

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

src/barretenberg/vm2/simulation/events/field_gt_event.hpp

Public Types

Public Member Functions

Public Attributes