circuit_base.hpp File Reference

#include <limits>
#include <sstream>
#include <string>
#include <unordered_map>
#include "barretenberg/smt_verification/terms/bool.hpp"
#include "barretenberg/smt_verification/terms/data_structures.hpp"
#include "barretenberg/smt_verification/terms/term.hpp"
#include "barretenberg/smt_verification/circuit/circuit_schema.hpp"

Go to the source code of this file.

Classes
class	smt_circuit::CircuitBase
	Base class for symbolic circuits. More...

Namespaces
namespace	smt_circuit

Enumerations
enum class	smt_circuit::SubcircuitType {   smt_circuit::XOR , smt_circuit::AND , smt_circuit::RANGE , smt_circuit::ROR ,   smt_circuit::SHL , smt_circuit::SHR }