smt_circuit Namespace Reference

Classes
struct	BlockType
class	CircuitBase
	Base class for symbolic circuits. More...
struct	SelectorType
class	UltraCircuit
	Symbolic Circuit class for Standard Circuit Builder. More...
struct	WireType

Enumerations
enum class	SubcircuitType {   XOR , AND , RANGE , ROR ,   SHL , SHR }
enum class	TableType : int32_t { XOR , AND , UNKNOWN }

Enumeration Type Documentation

SubcircuitType

enum class smt_circuit::SubcircuitType

strong

Enumerator
XOR
AND
RANGE
ROR
SHL
SHR

Definition at line 19 of file circuit_base.hpp.

TableType

enum class smt_circuit::TableType : int32_t

strong

Enumerator
XOR
AND
UNKNOWN

Definition at line 9 of file ultra_circuit.hpp.