array_iface Member List

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

add_array_constraints_for_solving()	array_iface	inlinevirtual
array_iface(bool _b, bool inf)	array_iface	inline
can_init_infinite_arrays	array_iface
convert_array_of(smt_astt init_val, unsigned long domain_width)=0	array_iface	pure virtual
default_convert_array_of(smt_astt init_val, unsigned long domain_width, smt_solver_baset *ctx)	array_iface
get_array_elem(smt_astt a, uint64_t idx, const type2tc &subtype)=0	array_iface	pure virtual
mk_array_symbol(const std::string &name, smt_sortt sort, smt_sortt subtype)=0	array_iface	pure virtual
pop_array_ctx()	array_iface	inlinevirtual
push_array_ctx()	array_iface	inlinevirtual
supports_bools_in_arrays	array_iface