#include <field_gt_event.hpp>

Public Member Functions
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 Function Documentation

◆ 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 Member Functions

Public Attributes