protoboard.hpp File Reference

#include <libsnark/gadgetlib2/constraint.hpp>
#include <libsnark/gadgetlib2/pp.hpp>
#include <libsnark/gadgetlib2/variable.hpp>
#include <string>

Include dependency graph for protoboard.hpp:

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

Go to the source code of this file.

Classes
class	gadgetlib2::Protoboard
class	gadgetlib2::ProtoboardParams

Namespaces
	gadgetlib2

Macros
#define	ASSERT_CONSTRAINTS_SATISFIED(pb)   ASSERT_TRUE(pb->isSatisfied(PrintOptions::DBG_PRINT_IF_NOT_SATISFIED))
#define	ASSERT_CONSTRAINTS_NOT_SATISFIED(pb)   ASSERT_FALSE(pb->isSatisfied(PrintOptions::NO_DBG_PRINT))

Typedefs
typedef ::std::shared_ptr< const ProtoboardParams >	gadgetlib2::ParamsCPtr

Detailed Description

Definition of Protoboard, a "memory manager" for building arithmetic constraints

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file protoboard.hpp.

Macro Definition Documentation

ASSERT_CONSTRAINTS_NOT_SATISFIED

#define ASSERT_CONSTRAINTS_NOT_SATISFIED

(

pb

)

ASSERT_FALSE(pb->isSatisfied(PrintOptions::NO_DBG_PRINT))

Definition at line 22 of file protoboard.hpp.

ASSERT_CONSTRAINTS_SATISFIED

#define ASSERT_CONSTRAINTS_SATISFIED

(

pb

)

ASSERT_TRUE(pb->isSatisfied(PrintOptions::DBG_PRINT_IF_NOT_SATISFIED))

Definition at line 19 of file protoboard.hpp.