smt_circuit::CircuitBase Member List

This is the complete list of members for smt_circuit::CircuitBase, including all inherited members.

CircuitBase(std::unordered_map< uint32_t, std::string > &variable_names, std::vector< bb::fr > &variables, std::vector< uint32_t > &public_inps, std::vector< uint32_t > &real_variable_index, std::vector< uint32_t > &real_variable_tags, Solver *solver, TermType type, const std::string &tag="", bool enable_optimizations=true)	smt_circuit::CircuitBase
CircuitBase(const CircuitBase &other)=default	smt_circuit::CircuitBase
CircuitBase(CircuitBase &&other) noexcept=default	smt_circuit::CircuitBase
enable_optimizations	smt_circuit::CircuitBase
get_num_real_vars() const	smt_circuit::CircuitBase	inline
get_num_vars() const	smt_circuit::CircuitBase	inline
init()	smt_circuit::CircuitBase
operator=(const CircuitBase &other)=default	smt_circuit::CircuitBase
operator=(CircuitBase &&other) noexcept=default	smt_circuit::CircuitBase
operator[](const std::string &name)	smt_circuit::CircuitBase
operator[](const uint32_t &idx)	smt_circuit::CircuitBase	inline
optimized	smt_circuit::CircuitBase
post_process	smt_circuit::CircuitBase
public_inps	smt_circuit::CircuitBase
real_variable_index	smt_circuit::CircuitBase
real_variable_tags	smt_circuit::CircuitBase
simulate_circuit_eval(std::vector< bb::fr > &witness) const =0	smt_circuit::CircuitBase	pure virtual
solver	smt_circuit::CircuitBase
symbolic_vars	smt_circuit::CircuitBase
tag	smt_circuit::CircuitBase
type	smt_circuit::CircuitBase
variable_names	smt_circuit::CircuitBase
variable_names_inverse	smt_circuit::CircuitBase
variables	smt_circuit::CircuitBase
~CircuitBase()=default	smt_circuit::CircuitBase	virtual