cprover
|
#include <value_set_fi.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 52 of file value_set_fi.h.
|
inline |
Definition at line 55 of file value_set_fi.h.
|
inlineexplicit |
Definition at line 59 of file value_set_fi.h.
|
inline |
Definition at line 67 of file value_set_fi.h.
References offset, and offset_is_set.
Referenced by value_set_fit::get_reference_set_sharing_rec().
mp_integer value_set_fit::objectt::offset |
Definition at line 65 of file value_set_fi.h.
Referenced by value_set_fit::get_reference_set_sharing_rec(), value_set_fit::insert(), and offset_is_zero().
bool value_set_fit::objectt::offset_is_set |
Definition at line 66 of file value_set_fi.h.
Referenced by value_set_fit::get_reference_set_sharing_rec(), value_set_fit::get_value_set_rec(), value_set_fit::insert(), and offset_is_zero().