cprover
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

◆ offset_is_set

bool value_set_fit::objectt::offset_is_set

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