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.
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().