uscs.hpp
Go to the documentation of this file.
std::vector< typename FieldType::value_type > uscs_auxiliary_input
Definition: uscs.hpp:70
std::vector< typename FieldType::value_type > uscs_variable_assignment
Definition: uscs.hpp:73
std::vector< typename FieldType::value_type > uscs_primary_input
Definition: uscs.hpp:67
Definition: pair.hpp:31
Definition: variable.hpp:229
Definition: uscs.hpp:90
void add_constraint(const uscs_constraint< FieldType > &constraint)
Definition: uscs.hpp:143
bool is_satisfied(const uscs_primary_input< FieldType > &primary_input, const uscs_auxiliary_input< FieldType > &auxiliary_input) const
Definition: uscs.hpp:124
bool operator==(const uscs_constraint_system< FieldType > &other) const
Definition: uscs.hpp:147
std::size_t auxiliary_input_size
Definition: uscs.hpp:93
std::size_t num_constraints() const
Definition: uscs.hpp:107
std::size_t num_variables() const
Definition: uscs.hpp:103
std::size_t num_inputs() const
Definition: uscs.hpp:99
uscs_constraint_system()
Definition: uscs.hpp:97
bool is_valid() const
Definition: uscs.hpp:111
std::vector< uscs_constraint< FieldType > > constraints
Definition: uscs.hpp:95
std::size_t primary_input_size
Definition: uscs.hpp:92