disjunction.hpp
Go to the documentation of this file.
Definition: blueprint_linear_combination.hpp:47
Definition: blueprint_variable.hpp:57
Definition: blueprint_variable.hpp:46
void allocate(blueprint< FieldType > &bp)
Definition: blueprint_variable.hpp:51
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: disjunction.hpp:52
const blueprint_variable< FieldType > output
Definition: disjunction.hpp:58
const blueprint_variable_vector< FieldType > inputs
Definition: disjunction.hpp:57
disjunction(blueprint< FieldType > &bp, const blueprint_variable_vector< FieldType > &inputs, const blueprint_variable< FieldType > &output)
Definition: disjunction.hpp:60
void generate_r1cs_witness()
Definition: disjunction.hpp:92
void generate_r1cs_constraints()
Definition: disjunction.hpp:69
constexpr T sum(const vector< T, N > &v)
computes the sum of elements
Definition: algebra/include/nil/crypto3/algebra/vector/math.hpp:124
Definition: pair.hpp:31
void add_term(const variable< FieldType > &var)
Definition: variable.hpp:277
Definition: r1cs.hpp:60