tuple_iface Member List

This is the complete list of members for tuple_iface, including all inherited members.

add_tuple_constraints_for_solving()	tuple_iface	inlinevirtual
mk_struct_sort(const type2tc &type)=0	tuple_iface	pure virtual
mk_tuple_array_symbol(const expr2tc &expr)=0	tuple_iface	pure virtual
mk_tuple_symbol(const std::string &name, smt_sortt s)=0	tuple_iface	pure virtual
pop_tuple_ctx()	tuple_iface	inlinevirtual
push_tuple_ctx()	tuple_iface	inlinevirtual
tuple_array_create(const type2tc &array_type, smt_astt *inputargs, bool const_array, smt_sortt domain)=0	tuple_iface	pure virtual
tuple_array_of(const expr2tc &init_value, unsigned long domain_width)=0	tuple_iface	pure virtual
tuple_create(const expr2tc &structdef)=0	tuple_iface	pure virtual
tuple_fresh(smt_sortt s, std::string name="")=0	tuple_iface	pure virtual
tuple_get(const expr2tc &expr)=0	tuple_iface	pure virtual
tuple_get(const type2tc &type, smt_astt a)=0	tuple_iface	pure virtual
tuple_get_array_elem(smt_astt array, uint64_t index, const type2tc &subtype)=0	tuple_iface	pure virtual
~tuple_iface()=default	tuple_iface	virtual