gadgetlib2::PolynomialConstraint Class Reference

#include <constraint.hpp>

Inheritance diagram for gadgetlib2::PolynomialConstraint:

Collaboration diagram for gadgetlib2::PolynomialConstraint:

Public Member Functions
	PolynomialConstraint (const Polynomial &a, const Polynomial &b, const ::std::string &name)
bool	isSatisfied (const VariableAssignment &assignment, const PrintOptions &printOnFail=PrintOptions::NO_DBG_PRINT) const
::std::string	annotation () const
virtual const Variable::set	getUsedVariables () const
virtual Polynomial	asPolynomial () const
Public Member Functions inherited from gadgetlib2::Constraint
	Constraint (const ::std::string &name)
::std::string	name () const

Detailed Description

Definition at line 121 of file constraint.hpp.

Constructor & Destructor Documentation

PolynomialConstraint()

gadgetlib2::PolynomialConstraint::PolynomialConstraint	(	const Polynomial &	a,
		const Polynomial &	b,
		const ::std::string &	name
	)

Definition at line 144 of file constraint.cpp.

    : Constraint(name), a_(a), b_(b)
{
}

Member Function Documentation

annotation()

string gadgetlib2::PolynomialConstraint::annotation ( ) const

virtual

Returns

the constraint in a human readable string format

Implements gadgetlib2::Constraint.

Definition at line 180 of file constraint.cpp.

{
#ifndef DEBUG
    return "";
#endif
    return a_.asString() + " == " + b_.asString();
}

Here is the call graph for this function:

Here is the caller graph for this function:

asPolynomial()

virtual Polynomial gadgetlib2::PolynomialConstraint::asPolynomial ( ) const

inlinevirtual

Implements gadgetlib2::Constraint.

Definition at line 137 of file constraint.hpp.

{ return a_ - b_; }

getUsedVariables()

const Variable::set gadgetlib2::PolynomialConstraint::getUsedVariables ( ) const

virtual

Returns

a list of all variables used in the constraint

Implements gadgetlib2::Constraint.

Definition at line 188 of file constraint.cpp.

{
    Variable::set retSet;
    const Variable::set aSet = a_.getUsedVariables();
    retSet.insert(aSet.begin(), aSet.end());
    const Variable::set bSet = b_.getUsedVariables();
    retSet.insert(bSet.begin(), bSet.end());
    return retSet;
}

Here is the call graph for this function:

Here is the caller graph for this function:

isSatisfied()

bool gadgetlib2::PolynomialConstraint::isSatisfied ( const VariableAssignment &  assignment, const PrintOptions &  printOnFail = PrintOptions::NO_DBG_PRINT  ) const

virtual

@param[in] assignment  - An assignment of field elements for each

variable.

Parameters

[in]

printOnFail

- when set to true, an unsatisfied constraint will print to stderr information explaining why it is not satisfied.

Returns

true if constraint is satisfied by the assignment

Implements gadgetlib2::Constraint.

Definition at line 150 of file constraint.cpp.

{
    const FElem aEval = a_.eval(assignment);
    const FElem bEval = b_.eval(assignment);
    if (aEval != bEval) {
#ifdef DEBUG
        if (printOnFail == PrintOptions::DBG_PRINT_IF_NOT_SATISFIED) {
            cerr << GADGETLIB2_FMT(
                        "Constraint named \"%s\" not satisfied. Constraint is:",
                        name().c_str())
                 << endl;
            cerr << annotation() << endl;
            cerr << "Expecting: " << aEval << " == " << bEval << endl;
            cerr << "Variable assignments are:" << endl;
            const Variable::set varSet = getUsedVariables();
            for (const Variable &var : varSet) {
                cerr << var.name() << ": " << assignment.at(var).asString()
                     << endl;
            }
        }
#else
        libff::UNUSED(printOnFail);
#endif
 
        return false;
    }
    return true;
}

Here is the call graph for this function:

---

The documentation for this class was generated from the following files:

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/constraint.hpp
• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/constraint.cpp