tbcs.cpp File Reference

#include <algorithm>
#include <libff/common/utils.hpp>
#include <libsnark/relations/circuit_satisfaction_problems/tbcs/tbcs.hpp>

Include dependency graph for tbcs.cpp:

Go to the source code of this file.

Namespaces
	libsnark

Functions
void	libsnark::print_tbcs_wire (const tbcs_wire_t wire, const std::map< size_t, std::string > &variable_annotations)
std::ostream &	libsnark::operator<< (std::ostream &out, const tbcs_gate &g)
std::istream &	libsnark::operator>> (std::istream &in, tbcs_gate &g)
std::ostream &	libsnark::operator<< (std::ostream &out, const tbcs_circuit &circuit)
std::istream &	libsnark::operator>> (std::istream &in, tbcs_circuit &circuit)

Detailed Description

Implementation of interfaces for:

• a TBCS gate,
• a TBCS variable assignment, and
• a TBCS constraint system.

See tbcs.hpp .

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file tbcs.cpp.