Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
acir_format::LogicConstraint Struct Reference

#include <logic_constraint.hpp>

Public Member Functions

 MSGPACK_FIELDS (a, b, result, num_bits, is_xor_gate)
 

Public Attributes

WitnessOrConstant< bb::fra
 
WitnessOrConstant< bb::frb
 
uint32_t result
 
uint32_t num_bits
 
uint32_t is_xor_gate
 

Friends

bool operator== (LogicConstraint const &lhs, LogicConstraint const &rhs)=default
 

Detailed Description

Definition at line 17 of file logic_constraint.hpp.

Member Function Documentation

◆ MSGPACK_FIELDS()

acir_format::LogicConstraint::MSGPACK_FIELDS ( a  ,
b  ,
result  ,
num_bits  ,
is_xor_gate   
)

Friends And Related Symbol Documentation

◆ operator==

bool operator== ( LogicConstraint const &  lhs,
LogicConstraint const &  rhs 
)
friend

Member Data Documentation

◆ a

WitnessOrConstant<bb::fr> acir_format::LogicConstraint::a

Definition at line 18 of file logic_constraint.hpp.

◆ b

WitnessOrConstant<bb::fr> acir_format::LogicConstraint::b

Definition at line 19 of file logic_constraint.hpp.

◆ is_xor_gate

uint32_t acir_format::LogicConstraint::is_xor_gate

Definition at line 22 of file logic_constraint.hpp.

◆ num_bits

uint32_t acir_format::LogicConstraint::num_bits

Definition at line 21 of file logic_constraint.hpp.

◆ result

uint32_t acir_format::LogicConstraint::result

Definition at line 20 of file logic_constraint.hpp.


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