cprover
|
#include <value_set_fivr.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_fivr.h.
|
inline |
Definition at line 55 of file value_set_fivr.h.
Referenced by value_set_fivrt::insert_from(), and value_set_fivrt::insert_to().
|
inlineexplicit |
Definition at line 60 of file value_set_fivr.h.
|
inline |
Definition at line 68 of file value_set_fivr.h.
Referenced by value_set_fivrt::get_reference_set_sharing_rec().
mp_integer value_set_fivrt::objectt::offset |
Definition at line 66 of file value_set_fivr.h.
Referenced by value_set_fivrt::get_reference_set_sharing_rec(), value_set_fivrt::insert_from(), and value_set_fivrt::insert_to().
bool value_set_fivrt::objectt::offset_is_set |
Definition at line 67 of file value_set_fivr.h.
Referenced by value_set_fivrt::get_reference_set_sharing_rec(), value_set_fivrt::get_value_set_rec(), value_set_fivrt::insert_from(), and value_set_fivrt::insert_to().