cprover
|
#include <value_set_fivrns.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 53 of file value_set_fivrns.h.
|
inline |
Definition at line 56 of file value_set_fivrns.h.
Referenced by value_set_fivrnst::insert_from(), and value_set_fivrnst::insert_to().
|
inlineexplicit |
Definition at line 61 of file value_set_fivrns.h.
|
inline |
Definition at line 69 of file value_set_fivrns.h.
Referenced by value_set_fivrnst::get_reference_set_rec().
mp_integer value_set_fivrnst::objectt::offset |
Definition at line 67 of file value_set_fivrns.h.
Referenced by value_set_fivrnst::get_reference_set_rec(), value_set_fivrnst::insert_from(), and value_set_fivrnst::insert_to().
bool value_set_fivrnst::objectt::offset_is_set |
Definition at line 68 of file value_set_fivrns.h.
Referenced by value_set_fivrnst::get_reference_set_rec(), value_set_fivrnst::get_value_set_rec(), value_set_fivrnst::insert_from(), and value_set_fivrnst::insert_to().