#include <libff/common/profiling.hpp>
#include <libsnark/relations/variable.hpp>

Include dependency graph for tbcs.hpp:

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

Typedefs
typedef std::vector< bool >	libsnark::tbcs_variable_assignment

typedef size_t	libsnark::tbcs_wire_t

typedef tbcs_variable_assignment	libsnark::tbcs_primary_input

typedef tbcs_variable_assignment	libsnark::tbcs_auxiliary_input

Enumerations
enum	libsnark::tbcs_gate_type { libsnark::TBCS_GATE_CONSTANT_0 = 0, libsnark::TBCS_GATE_AND = 1, libsnark::TBCS_GATE_X_AND_NOT_Y = 2, libsnark::TBCS_GATE_X = 3, libsnark::TBCS_GATE_NOT_X_AND_Y = 4, libsnark::TBCS_GATE_Y = 5, libsnark::TBCS_GATE_XOR = 6, libsnark::TBCS_GATE_OR = 7, libsnark::TBCS_GATE_NOR = 8, libsnark::TBCS_GATE_EQUIVALENCE = 9, libsnark::TBCS_GATE_NOT_Y = 10, libsnark::TBCS_GATE_IF_Y_THEN_X = 11, libsnark::TBCS_GATE_NOT_X = 12, libsnark::TBCS_GATE_IF_X_THEN_Y = 13, libsnark::TBCS_GATE_NAND = 14, libsnark::TBCS_GATE_CONSTANT_1 = 15 }

Detailed Description

Declaration of interfaces for:

Above, TBCS stands for "Two-input Boolean Circuit Satisfiability".

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

Definition in file tbcs.hpp.

Classes