cprover
value_set_fivrt::objectt Class Reference

#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
 

Detailed Description

Definition at line 52 of file value_set_fivr.h.

Constructor & Destructor Documentation

§ objectt() [1/2]

value_set_fivrt::objectt::objectt ( )
inline

Definition at line 55 of file value_set_fivr.h.

Referenced by value_set_fivrt::insert_from(), and value_set_fivrt::insert_to().

§ objectt() [2/2]

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

Definition at line 60 of file value_set_fivr.h.

Member Function Documentation

§ offset_is_zero()

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

Definition at line 68 of file value_set_fivr.h.

Referenced by value_set_fivrt::get_reference_set_sharing_rec().

Member Data Documentation

§ offset

§ offset_is_set


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