constraint.cpp File Reference

#include <algorithm>
#include <cassert>
#include <iostream>
#include <libsnark/gadgetlib2/constraint.hpp>
#include <libsnark/gadgetlib2/variable.hpp>
#include <memory>
#include <set>

Include dependency graph for constraint.cpp:

Go to the source code of this file.

Namespaces
	gadgetlib2

Detailed Description

Implementation of the Constraint class.

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.cpp.