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

add_var(const std::string &id, const std::string &suffix)	value_sett	inline
add_var(const entryt &e)	value_sett	inline
add_vars(const std::list< entryt > &vars)	value_sett	inline
apply_code(const expr2tc &code)	value_sett
assign(const expr2tc &lhs, const expr2tc &rhs, bool add_to_sets=false)	value_sett
assign_rec(const expr2tc &lhs, const object_mapt &values_rhs, const std::string &suffix, bool add_to_sets)	value_sett	protected
assign_struct_union(const expr2tc &lhs, const expr2tc &rhs, const type2tc &lhs_type, bool add_to_sets)	value_sett
clear()	value_sett	inline
concat_key(const std::string &id, const std::string &suffix)	value_sett	inlinestatic
constant_pointer_arith_offset(const expr2tc &non_ptr_op, const type2tc &subtype, bool subtracting) const	value_sett	protected
del_var(const std::string &id, const std::string &suffix)	value_sett	inline
do_end_function(const expr2tc &lhs)	value_sett
do_free(const expr2tc &op)	value_sett	protected
do_function_call(const symbolt &symbol, const std::vector< expr2tc > &arguments)	value_sett
dump() const	value_sett
entry_key(const entryt &e)	value_sett	inlinestatic
erase(const std::string &name)	value_sett	inline
erase_object(const std::string &id, const type2tc &type, const std::string &suffix="")	value_sett
expr_sett typedef	value_sett
get_byte_stitching_value_set(const expr2tc &expr, object_mapt &dest, const std::string &suffix, const type2tc &original_type) const	value_sett	protected
get_constant_struct_value_set(const expr2tc &expr, object_mapt &dest, const std::string &suffix, const type2tc &original_type, bool under_deref) const	value_sett	protected
get_constant_union_value_set(const expr2tc &expr, object_mapt &dest, const std::string &suffix, const type2tc &original_type) const	value_sett	protected
get_constant_value_set(const expr2tc &expr, object_mapt &dest, const std::string &suffix, const type2tc &original_type, bool under_deref) const	value_sett	protected
get_natural_alignment(const expr2tc &e) const	value_sett	inline
get_reference_set(const expr2tc &expr, value_setst::valuest &dest) const	value_sett
get_reference_set(const expr2tc &expr, object_mapt &dest) const	value_sett	inlineprotected
get_reference_set_rec(const expr2tc &expr, object_mapt &dest) const	value_sett	protected
get_symbol_value_set(const symbol2t &sym, const expr2tc &expr, const std::string &suffix, const type2tc &original_type, object_mapt &dest) const	value_sett	protected
get_value_set(const expr2tc &expr, value_setst::valuest &dest) const	value_sett
get_value_set(const expr2tc &expr, object_mapt &dest) const	value_sett
get_value_set_rec_cached(const expr2tc &expr, object_mapt &dest, const std::string &suffix, const type2tc &original_type, bool under_deref=true) const	value_sett
insert(object_mapt &dest, object_mapt::const_iterator it) const	value_sett	inline
insert(object_mapt &dest, const expr2tc &src, const BigInt &offset) const	value_sett	inline
insert(object_mapt &dest, unsigned n, const objectt &object) const	value_sett	inline
insert(object_mapt &dest, const expr2tc &expr, const objectt &object) const	value_sett	inline
location_number	value_sett
make_member(const expr2tc &src, const irep_idt &component_name)	value_sett	protected
make_union(object_mapt &dest, const object_mapt &src) const	value_sett
make_union(const valuest &new_values, bool keepnew=false)	value_sett
make_union(const value_sett &new_values, bool keepnew=false)	value_sett	inline
ns	value_sett
obj_numbering_deref(unsigned int num)	value_sett	protectedstatic
obj_numbering_ref(unsigned int num)	value_sett	protectedstatic
obj_numbering_refset	value_sett	thread_localstatic
object_mapt typedef	value_sett
object_numbering	value_sett	thread_localstatic
offset2align(const expr2tc &e, const BigInt &m) const	value_sett	inline
offset_pointer_arith_objects(const object_mapt &pointer_expr_set, const expr2tc &ptr_op, const std::optional< BigInt > &total_offs, object_mapt &dest) const	value_sett	protected
operator=(const value_sett &ref)	value_sett	inline
output(std::ostream &out) const	value_sett
retire_objectless_operand(object_mapt &op0_set, object_mapt &op1_set, object_mapt &dest) const	value_sett
set(object_mapt &dest, object_mapt::const_iterator it) const	value_sett	inline
to_expr(object_mapt::const_iterator it) const	value_sett
touch_entry(const entryt &e)	value_sett	inline
update_object_map(const entryt &e, const object_mapt &om, bool merge)	value_sett	inline
value_sett(const namespacet &_ns)	value_sett	inlineexplicit
value_sett(const value_sett &ref)	value_sett	inline
values	value_sett
valuest typedef	value_sett
xchg_name	value_sett
xchg_num	value_sett