comparison.hpp
Go to the documentation of this file.
Definition: blueprint_linear_combination.hpp:47
void evaluate(blueprint< field_type > &bp) const
Definition: blueprint_linear_combination.hpp:71
Definition: blueprint_variable.hpp:57
void allocate(blueprint< field_type > &bp, const std::size_t n)
Definition: blueprint_variable.hpp:91
Definition: blueprint_variable.hpp:46
void allocate(blueprint< FieldType > &bp)
Definition: blueprint_variable.hpp:51
Definition: blueprint.hpp:46
Definition: comparison.hpp:53
void generate_r1cs_witness()
Definition: comparison.hpp:119
const blueprint_variable< FieldType > less
Definition: comparison.hpp:66
comparison(blueprint< FieldType > &bp, std::size_t n, const blueprint_linear_combination< FieldType > &A, const blueprint_linear_combination< FieldType > &B, const blueprint_variable< FieldType > &less, const blueprint_variable< FieldType > &less_or_eq)
Definition: comparison.hpp:69
const blueprint_linear_combination< FieldType > B
Definition: comparison.hpp:65
const blueprint_linear_combination< FieldType > A
Definition: comparison.hpp:64
const blueprint_variable< FieldType > less_or_eq
Definition: comparison.hpp:67
void generate_r1cs_constraints()
Definition: comparison.hpp:89
Definition: component.hpp:37
Definition: disjunction.hpp:52
Definition: packing.hpp:57
Definition: pair.hpp:31
Definition: r1cs.hpp:60