ultra_circuit.hpp File Reference

#include "circuit_base.hpp"

Go to the source code of this file.

Classes
struct	smt_circuit::BlockType
struct	smt_circuit::SelectorType
struct	smt_circuit::WireType
class	smt_circuit::UltraCircuit
	Symbolic Circuit class for Standard Circuit Builder. More...

Namespaces
namespace	smt_circuit

Macros
#define	RED   "\033[31m"
#define	RESET   "\033[0m"

Enumerations
enum class	smt_circuit::TableType : int32_t { smt_circuit::XOR , smt_circuit::AND , smt_circuit::UNKNOWN }

Macro Definition Documentation

RED

#define RED   "\033[31m"

Definition at line 6 of file ultra_circuit.hpp.

RESET

#define RESET   "\033[0m"

Definition at line 7 of file ultra_circuit.hpp.