Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
gadgetlib2::ConstraintSystem Member List

This is the complete list of members for gadgetlib2::ConstraintSystem, including all inherited members.

addConstraint(const Rank1Constraint &c)gadgetlib2::ConstraintSystem
addConstraint(const PolynomialConstraint &c)gadgetlib2::ConstraintSystem
annotation() constgadgetlib2::ConstraintSystem
ConstraintPtr typedefgadgetlib2::ConstraintSystemprotected
constraintsPtrs_gadgetlib2::ConstraintSystemprotected
ConstraintSystem()gadgetlib2::ConstraintSysteminline
GadgetLibAdapter classgadgetlib2::ConstraintSystemfriend
getConstraint(size_t idx)gadgetlib2::ConstraintSysteminline
getConstraintPolynomials() constgadgetlib2::ConstraintSysteminline
getNumberOfConstraints()gadgetlib2::ConstraintSysteminline
getUsedVariables() constgadgetlib2::ConstraintSystem
isSatisfied(const VariableAssignment &assignment, const PrintOptions &printOnFail=PrintOptions::NO_DBG_PRINT) constgadgetlib2::ConstraintSystem
PolyPtrSet typedefgadgetlib2::ConstraintSystem