cprover
|
Return value for build_reference_to
; see that method for documentation.
More...
Public Member Functions | |
valuet () | |
Public Attributes | |
exprt | value |
exprt | pointer_guard |
bool | ignore |
Return value for build_reference_to
; see that method for documentation.
Definition at line 105 of file value_set_dereference.h.
|
inline |
Definition at line 112 of file value_set_dereference.h.
bool value_set_dereferencet::valuet::ignore |
Definition at line 110 of file value_set_dereference.h.
Referenced by value_set_dereferencet::build_reference_to(), and value_set_dereferencet::dereference().
exprt value_set_dereferencet::valuet::pointer_guard |
Definition at line 109 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 108 of file value_set_dereference.h.
Referenced by value_set_dereferencet::build_reference_to(), and value_set_dereferencet::dereference().