CBMC
value_sett Member List

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

adjust_assign_rhs_values(const exprt &rhs, const namespacet &, object_mapt &rhs_values) constvalue_settinlineprivatevirtual
apply_assign_side_effects(const exprt &lhs, const exprt &rhs, const namespacet &)value_settinlineprivatevirtual
apply_code(const codet &code, const namespacet &ns)value_settinline
apply_code_rec(const codet &code, const namespacet &ns)value_settprotectedvirtual
assign(const exprt &lhs, const exprt &rhs, const namespacet &ns, bool is_simplified, bool add_to_sets)value_sett
assign_rec(const exprt &lhs, const object_mapt &values_rhs, const std::string &suffix, const namespacet &ns, bool add_to_sets)value_settprotectedvirtual
clear()value_settinline
dereference_rec(const exprt &src, exprt &dest) constvalue_settprotected
do_end_function(const exprt &lhs, const namespacet &ns)value_sett
do_function_call(const irep_idt &function, const exprt::operandst &arguments, const namespacet &ns)value_sett
empty_object_mapvalue_settstatic
erase_struct_union_symbol(const struct_union_typet &struct_union_type, const std::string &erase_prefix, const namespacet &ns)value_settprotected
erase_symbol(const symbol_exprt &symbol_expr, const namespacet &ns)value_sett
erase_symbol_rec(const typet &type, const std::string &erase_prefix, const namespacet &ns)value_settprotected
erase_values_from_entry(const irep_idt &index, const std::unordered_set< exprt, irep_hash > &values_to_erase)value_sett
eval_pointer_offset(exprt &expr, const namespacet &ns) constvalue_sett
field_sensitive(const irep_idt &id, const typet &type)value_settvirtual
find_entry(const irep_idt &id) constvalue_sett
get_index_of_symbol(irep_idt identifier, const typet &type, const std::string &suffix, const namespacet &ns) constvalue_sett
get_insert_action(const object_mapt &dest, object_numberingt::number_type n, const offsett &offset) constvalue_sett
get_reference_set(const exprt &expr, value_setst::valuest &dest, const namespacet &ns) constvalue_sett
get_reference_set(const exprt &expr, object_mapt &dest, const namespacet &ns) constvalue_settinlineprotected
get_reference_set_rec(const exprt &expr, object_mapt &dest, const namespacet &ns) constvalue_settprotected
get_value_set(exprt expr, const namespacet &ns) constvalue_sett
get_value_set(exprt expr, const namespacet &ns, bool is_simplified) constvalue_settprotected
get_value_set_rec(const exprt &expr, object_mapt &dest, bool &includes_nondet_pointer, const std::string &suffix, const typet &original_type, const namespacet &ns) constvalue_settprotectedvirtual
guard(const exprt &expr, const namespacet &ns)value_sett
insert(object_mapt &dest, const object_map_dt::value_type &it) constvalue_settinline
insert(object_mapt &dest, const exprt &src) constvalue_settinline
insert(object_mapt &dest, const exprt &src, const mp_integer &offset_value) constvalue_settinline
insert(object_mapt &dest, object_numberingt::number_type n, const offsett &offset) constvalue_sett
insert(object_mapt &dest, const exprt &expr, const offsett &offset) constvalue_settinline
insert_actiont enum namevalue_sett
location_numbervalue_sett
make_union(object_mapt &dest, const object_mapt &src) constvalue_sett
make_union(const valuest &new_values)value_sett
make_union(const value_sett &new_values)value_settinline
make_union_would_change(const object_mapt &dest, const object_mapt &src) constvalue_sett
object_map_dt typedefvalue_sett
object_mapt typedefvalue_sett
object_numberingvalue_settstatic
offsett typedefvalue_sett
operator=(const value_sett &other)=deletevalue_sett
operator=(value_sett &&other)value_settinline
output(std::ostream &out, const std::string &indent="") constvalue_sett
output_xml(void) constvalue_sett
set(object_mapt &dest, const object_map_dt::value_type &it) constvalue_settinline
to_expr(const object_map_dt::value_type &it) constvalue_sett
update_entry(const entryt &e, const typet &type, const object_mapt &new_values, bool add_to_sets)value_sett
value_sett()value_settinline
value_sett(value_sett &&other)value_settinline
value_sett(const value_sett &other)=defaultvalue_sett
valuesvalue_sett
valuest typedefvalue_sett
~value_sett()=defaultvalue_settvirtual