value_set_fit::objectt Class Reference

#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

Detailed Description

Definition at line 52 of file value_set_fi.h.

Constructor & Destructor Documentation

objectt() [1/2]

value_set_fit::objectt::objectt ( )

inline

Definition at line 55 of file value_set_fi.h.

objectt() [2/2]

value_set_fit::objectt::objectt ( const mp_integer &  _offset )

inlineexplicit

Definition at line 59 of file value_set_fi.h.

Member Function Documentation

offset_is_zero()

bool value_set_fit::objectt::offset_is_zero ( ) const

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().

Member Data Documentation

offset

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().

offset_is_set

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().

---

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

• pointer-analysis/value_set_fi.h