cprover
value_sett::objectt Class Reference

#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
 

Detailed Description

Definition at line 42 of file value_set.h.

Constructor & Destructor Documentation

§ objectt() [1/2]

value_sett::objectt::objectt ( )
inline

Definition at line 45 of file value_set.h.

Referenced by value_sett::insert().

§ objectt() [2/2]

value_sett::objectt::objectt ( const mp_integer _offset)
inlineexplicit

Definition at line 49 of file value_set.h.

Member Function Documentation

§ offset_is_zero()

bool value_sett::objectt::offset_is_zero ( ) const
inline

Definition at line 57 of file value_set.h.

Referenced by value_sett::get_reference_set_rec().

Member Data Documentation

§ offset

mp_integer value_sett::objectt::offset

Definition at line 55 of file value_set.h.

Referenced by value_sett::get_reference_set_rec().

§ offset_is_set

bool value_sett::objectt::offset_is_set

Definition at line 56 of file value_set.h.

Referenced by value_sett::get_reference_set_rec(), and value_sett::get_value_set_rec().


The documentation for this class was generated from the following file: