cprover
|
#include <value_set.h>
Public Member Functions | |
objectt () | |
objectt (const mp_integer &_offset) | |
bool | offset_is_zero () const |
Public Attributes | |
mp_integer | offset |
bool | offset_is_set |
Definition at line 42 of file value_set.h.
|
inline |
Definition at line 45 of file value_set.h.
|
inlineexplicit |
Definition at line 49 of file value_set.h.
|
inline |
Definition at line 57 of file value_set.h.
References offset, and offset_is_set.
Referenced by value_sett::get_reference_set_rec().
mp_integer value_sett::objectt::offset |
Definition at line 55 of file value_set.h.
Referenced by value_sett::get_reference_set_rec(), and offset_is_zero().
bool value_sett::objectt::offset_is_set |
Definition at line 56 of file value_set.h.
Referenced by value_sett::get_reference_set_rec(), value_sett::get_value_set_rec(), and offset_is_zero().