constraint.hpp File Reference

#include <libsnark/gadgetlib2/variable.hpp>
#include <string>
#include <vector>

Include dependency graph for constraint.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	gadgetlib2::Constraint
class	gadgetlib2::Rank1Constraint
class	gadgetlib2::PolynomialConstraint
class	gadgetlib2::ConstraintSystem

Namespaces
	gadgetlib2

Enumerations
enum	gadgetlib2::PrintOptions { gadgetlib2::PrintOptions::DBG_PRINT_IF_NOT_SATISFIED, gadgetlib2::PrintOptions::DBG_PRINT_IF_TRUE, gadgetlib2::PrintOptions::DBG_PRINT_IF_FALSE, gadgetlib2::PrintOptions::NO_DBG_PRINT }

Detailed Description

Declaration of the Constraint class.

A constraint is an algebraic equation which can be either satisfied by an assignment, (the equation is true with that assignment) or unsatisfied. For instance the rank-1 constraint (X * Y = 15) is satisfied by {X=5 Y=3} or {X=3 Y=5}

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file constraint.hpp.