LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::InvalidWitness Class Reference

Public Types
enum class	Target : uint8_t { None , Inputs , Input1BitSize , Input2BitSize }

Static Public Member Functions
static std::vector< Target >	get_all ()
static std::vector< std::string >	get_labels ()

Detailed Description

template<typename Builder_, InputConstancy Constancy, uint32_t num_bits, bool is_xor_gate>
class LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::InvalidWitness

Definition at line 33 of file logic_constraint.test.cpp.

Member Enumeration Documentation

Target

template<typename Builder_ , InputConstancy Constancy, uint32_t num_bits, bool is_xor_gate>

enum class LogicConstraintTestingFunctions::InvalidWitness::Target : uint8_t

strong

Enumerator
None
Inputs
Input1BitSize
Input2BitSize

Definition at line 35 of file logic_constraint.test.cpp.

Member Function Documentation

get_all()

template<typename Builder_ , InputConstancy Constancy, uint32_t num_bits, bool is_xor_gate>

static std::vector< Target > LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::InvalidWitness::get_all ( )

inlinestatic

Definition at line 42 of file logic_constraint.test.cpp.

get_labels()

template<typename Builder_ , InputConstancy Constancy, uint32_t num_bits, bool is_xor_gate>

static std::vector< std::string > LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::InvalidWitness::get_labels ( )

inlinestatic

Definition at line 51 of file logic_constraint.test.cpp.

---

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

• src/barretenberg/dsl/acir_format/logic_constraint.test.cpp