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 84 of file value_set_dereference.h.
|
inline |
Definition at line 91 of file value_set_dereference.h.
bool value_set_dereferencet::valuet::ignore |
Definition at line 89 of file value_set_dereference.h.
exprt value_set_dereferencet::valuet::pointer_guard |
Definition at line 88 of file value_set_dereference.h.
exprt value_set_dereferencet::valuet::value |
Definition at line 87 of file value_set_dereference.h.