#include <ultra_circuit.hpp>
Definition at line 10 of file ultra_circuit.hpp.
◆ ARITHMETIC
| const size_t smt_circuit::BlockType::ARITHMETIC = 2 |
|
static |
◆ DELTA_RANGE
| const size_t smt_circuit::BlockType::DELTA_RANGE = 3 |
|
static |
◆ ELLIPTIC
| const size_t smt_circuit::BlockType::ELLIPTIC = 4 |
|
static |
◆ LOOKUP
| const size_t smt_circuit::BlockType::LOOKUP = 1 |
|
static |
◆ MEMORY
| const size_t smt_circuit::BlockType::MEMORY = 5 |
|
static |
◆ NNF
| const size_t smt_circuit::BlockType::NNF = 6 |
|
static |
◆ PUB
| const size_t smt_circuit::BlockType::PUB = 0 |
|
static |
The documentation for this struct was generated from the following file: