LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate > Class Template Reference

Testing functions to generate the LogicConstraintTest test suite. Constancy specifies which inputs to the constraints should be constant. More...

Classes
class	InvalidWitness

Public Types
using	Builder = Builder_
using	AcirConstraint = LogicConstraint
using	FF = bb::fr

Static Public Member Functions
static ProgramMetadata	generate_metadata ()
static void	generate_constraints (AcirConstraint &logic_constraint, WitnessVector &witness_values)
static std::pair< AcirConstraint, WitnessVector >	invalidate_witness (AcirConstraint constraint, WitnessVector witness_values, const InvalidWitness::Target &invalid_witness_target)

Detailed Description

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

Testing functions to generate the LogicConstraintTest test suite. Constancy specifies which inputs to the constraints should be constant.

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

Member Typedef Documentation

AcirConstraint

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

using LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::AcirConstraint = LogicConstraint

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

Builder

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

using LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::Builder = Builder_

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

FF

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

using LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::FF = bb::fr

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

Member Function Documentation

generate_constraints()

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

static void LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::generate_constraints ( AcirConstraint &  logic_constraint, WitnessVector &  witness_values  )

inlinestatic

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

generate_metadata()

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

static ProgramMetadata LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::generate_metadata ( )

inlinestatic

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

invalidate_witness()

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

static std::pair< AcirConstraint, WitnessVector > LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::invalidate_witness ( AcirConstraint  constraint, WitnessVector  witness_values, const InvalidWitness::Target &  invalid_witness_target  )

inlinestatic

Definition at line 90 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