smt_circuit::UltraCircuit Member List

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

cached_ram_tables	smt_circuit::UltraCircuit
cached_range_tables	smt_circuit::UltraCircuit
cached_rom_tables	smt_circuit::UltraCircuit
cached_symbolic_tables	smt_circuit::UltraCircuit
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_gates() const	smt_circuit::UltraCircuit	inline
get_num_real_vars() const	smt_circuit::CircuitBase	inline
get_num_vars() const	smt_circuit::CircuitBase	inline
handle_arithmetic_relation(size_t cursor)	smt_circuit::UltraCircuit
handle_delta_range_relation(size_t cursor)	smt_circuit::UltraCircuit
handle_elliptic_relation(size_t cursor)	smt_circuit::UltraCircuit
handle_lookup_relation(size_t cursor)	smt_circuit::UltraCircuit
handle_nnf_relation(size_t cursor)	smt_circuit::UltraCircuit
handle_ram_tables()	smt_circuit::UltraCircuit
handle_range_constraints()	smt_circuit::UltraCircuit
handle_rom_tables()	smt_circuit::UltraCircuit
init()	smt_circuit::CircuitBase
lookup_tables	smt_circuit::UltraCircuit
operator=(const UltraCircuit &other)=default	smt_circuit::UltraCircuit
operator=(UltraCircuit &&other)=default	smt_circuit::UltraCircuit
smt_circuit::CircuitBase::operator=(const CircuitBase &other)=default	smt_circuit::CircuitBase
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
process_new_table(uint32_t table_idx)	smt_circuit::UltraCircuit
public_inps	smt_circuit::CircuitBase
ram_records	smt_circuit::UltraCircuit
ram_states	smt_circuit::UltraCircuit
ram_table_read(uint32_t ram_array_idx, uint32_t index_idx, uint32_t value_idx)	smt_circuit::UltraCircuit
ram_table_write(uint32_t ram_array_idx, uint32_t ram_index_idx, uint32_t read_from_value_idx)	smt_circuit::UltraCircuit
range_tags	smt_circuit::UltraCircuit
real_variable_index	smt_circuit::CircuitBase
real_variable_tags	smt_circuit::CircuitBase
rom_ram_relaxed	smt_circuit::UltraCircuit
rom_records	smt_circuit::UltraCircuit
rom_states	smt_circuit::UltraCircuit
rom_table_read(uint32_t rom_array_idx, uint32_t index_idx, uint32_t value1_idx, uint32_t value2_idx)	smt_circuit::UltraCircuit
selectors	smt_circuit::UltraCircuit
simulate_circuit_eval(std::vector< bb::fr > &witness) const override	smt_circuit::UltraCircuit	virtual
solver	smt_circuit::CircuitBase
symbolic_vars	smt_circuit::CircuitBase
tables_sizes	smt_circuit::UltraCircuit
tables_types	smt_circuit::UltraCircuit
tag	smt_circuit::CircuitBase
type	smt_circuit::CircuitBase
UltraCircuit(CircuitSchema &circuit_info, Solver *solver, TermType type=TermType::FFTerm, const std::string &tag="", bool enable_optimizations=true, bool rom_ram_relaxed=false)	smt_circuit::UltraCircuit	explicit
UltraCircuit(const UltraCircuit &other)=default	smt_circuit::UltraCircuit
UltraCircuit(UltraCircuit &&other)=default	smt_circuit::UltraCircuit
unique_witness(CircuitSchema &circuit_info, Solver *s, TermType type, const std::vector< std::string > &equal={}, bool enable_optimizations=false)	smt_circuit::UltraCircuit	static
unique_witness_ext(CircuitSchema &circuit_info, Solver *s, TermType type, const std::vector< std::string > &equal={}, const std::vector< std::string > &not_equal={}, const std::vector< std::string > &equal_at_the_same_time={}, const std::vector< std::string > &not_equal_at_the_same_time={}, bool enable_optimizations=false)	smt_circuit::UltraCircuit	static
variable_names	smt_circuit::CircuitBase
variable_names_inverse	smt_circuit::CircuitBase
variables	smt_circuit::CircuitBase
wires_idxs	smt_circuit::UltraCircuit
~CircuitBase()=default	smt_circuit::CircuitBase	virtual
~UltraCircuit() override=default	smt_circuit::UltraCircuit