integration.hpp File Reference

#include <libff/common/default_types/ec_pp.hpp>
#include <libsnark/gadgetlib2/protoboard.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>

Include dependency graph for integration.hpp:

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

Go to the source code of this file.

Namespaces
	libsnark

Functions
r1cs_constraint_system< libff::Fr< libff::default_ec_pp > >	libsnark::get_constraint_system_from_gadgetlib2 (const gadgetlib2::Protoboard &pb)
r1cs_variable_assignment< libff::Fr< libff::default_ec_pp > >	libsnark::get_variable_assignment_from_gadgetlib2 (const gadgetlib2::Protoboard &pb)

Detailed Description

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file integration.hpp.