cprover
|
Public Member Functions | |
valuet () | |
Public Attributes | |
exprt | value |
exprt | pointer_guard |
Definition at line 99 of file value_set_dereference.h.
|
inline |
Definition at line 105 of file value_set_dereference.h.
References value_set_dereferencet::bounds_check(), value_set_dereferencet::build_reference_to(), value_set_dereferencet::get_symbol(), value_set_dereferencet::get_value_guard(), value_set_dereferencet::invalid_pointer(), value_set_dereferencet::memory_model(), value_set_dereferencet::memory_model_bytes(), value_set_dereferencet::memory_model_conversion(), and value_set_dereferencet::valid_check().
exprt value_set_dereferencet::valuet::pointer_guard |
Definition at line 103 of file value_set_dereference.h.
Referenced by value_set_dereferencet::build_reference_to(), and value_set_dereferencet::dereference().
exprt value_set_dereferencet::valuet::value |
Definition at line 102 of file value_set_dereference.h.
Referenced by value_set_dereferencet::build_reference_to(), and value_set_dereferencet::dereference().