cprover
value_set_dereferencet Member List

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

bounds_check(const index_exprt &expr, const guardt &guard)value_set_dereferencetprivate
build_reference_to(const exprt &what, const modet mode, const exprt &pointer, const guardt &guard)value_set_dereferencetprivate
dereference(const exprt &pointer, const guardt &guard, const modet mode)value_set_dereferencetvirtual
dereference_callbackvalue_set_dereferencetprivate
dereference_type_compare(const typet &object_type, const typet &dereference_type) constvalue_set_dereferencetprivate
expr_sett typedefvalue_set_dereferencet
get_symbol(const exprt &object)value_set_dereferencetprivatestatic
get_value_guard(const exprt &symbol, const exprt &premise, exprt &value)value_set_dereferencetprivate
invalid_countervalue_set_dereferencetprivatestatic
invalid_pointer(const exprt &expr, const guardt &guard)value_set_dereferencetprivate
language_modevalue_set_dereferencetprivate
memory_model(exprt &value, const typet &type, const guardt &guard, const exprt &offset)value_set_dereferencetprivate
memory_model_bytes(exprt &value, const typet &type, const guardt &guard, const exprt &offset)value_set_dereferencetprivate
memory_model_conversion(exprt &value, const typet &type, const guardt &guard, const exprt &offset)value_set_dereferencetprivate
modet enum namevalue_set_dereferencet
new_symbol_tablevalue_set_dereferencetprivate
nsvalue_set_dereferencetprivate
offset_sum(exprt &dest, const exprt &offset) constvalue_set_dereferencetprivate
optionsvalue_set_dereferencetprivate
valid_check(const exprt &expr, const guardt &guard, const modet mode)value_set_dereferencetprivate
value_set_dereferencet(const namespacet &_ns, symbol_tablet &_new_symbol_table, const optionst &_options, dereference_callbackt &_dereference_callback, const irep_idt _language_mode)value_set_dereferencetinline
~value_set_dereferencet()value_set_dereferencetinlinevirtual