CBMC: Member List

adjust_assign_rhs_values(const exprt &rhs, const namespacet &, object_mapt &rhs_values) const value_sett inlineprivatevirtual

apply_assign_side_effects(const exprt &lhs, const exprt &rhs, const namespacet &) value_sett inlineprivatevirtual

apply_code(const codet &code, const namespacet &ns) value_sett inline

apply_code_rec(const codet &code, const namespacet &ns) value_sett protectedvirtual

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_sett protectedvirtual

clear() value_sett inline

dereference_rec(const exprt &src, exprt &dest) const value_sett protected

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_map value_sett static

erase_struct_union_symbol(const struct_union_typet &struct_union_type, const std::string &erase_prefix, const namespacet &ns) value_sett protected

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_sett protected

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) const value_sett

field_sensitive(const irep_idt &id, const typet &type) value_sett virtual

find_entry(const irep_idt &id) const value_sett

get_index_of_symbol(irep_idt identifier, const typet &type, const std::string &suffix, const namespacet &ns) const value_sett

get_insert_action(const object_mapt &dest, object_numberingt::number_type n, const offsett &offset) const value_sett

get_reference_set(const exprt &expr, value_setst::valuest &dest, const namespacet &ns) const value_sett

get_reference_set(const exprt &expr, object_mapt &dest, const namespacet &ns) const value_sett inlineprotected

get_reference_set_rec(const exprt &expr, object_mapt &dest, const namespacet &ns) const value_sett protected

get_value_set(exprt expr, const namespacet &ns) const value_sett

get_value_set(exprt expr, const namespacet &ns, bool is_simplified) const value_sett protected

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) const value_sett protectedvirtual

guard(const exprt &expr, const namespacet &ns) value_sett

insert(object_mapt &dest, const object_map_dt::value_type &it) const value_sett inline

insert(object_mapt &dest, const exprt &src) const value_sett inline

insert(object_mapt &dest, object_numberingt::number_type n, const offsett &offset) const value_sett

insert(object_mapt &dest, const exprt &expr, const offsett &offset) const value_sett inline

insert_actiont enum name value_sett

location_number value_sett

make_union(object_mapt &dest, const object_mapt &src) const value_sett

make_union(const valuest &new_values) value_sett

make_union(const value_sett &new_values) value_sett inline

make_union_would_change(const object_mapt &dest, const object_mapt &src) const value_sett

object_map_dt typedef value_sett

object_mapt typedef value_sett

object_numbering value_sett static

offsett typedef value_sett

operator=(const value_sett &other)=delete value_sett

operator=(value_sett &&other) value_sett inline

output(std::ostream &out, const std::string &indent="") const value_sett

output_xml(void) const value_sett

set(object_mapt &dest, const object_map_dt::value_type &it) const value_sett inline

to_expr(const object_map_dt::value_type &it) const value_sett

update_entry(const entryt &e, const typet &type, const object_mapt &new_values, bool add_to_sets) value_sett

value_sett() value_sett inline

value_sett(value_sett &&other) value_sett inline

value_sett(const value_sett &other)=default value_sett

values value_sett

valuest typedef value_sett

~value_sett()=default value_sett virtual