cprover
value_set_fivrnst::objectt Class Reference

#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
 

Detailed Description

Definition at line 53 of file value_set_fivrns.h.

Constructor & Destructor Documentation

◆ objectt() [1/2]

value_set_fivrnst::objectt::objectt ( )
inline

Definition at line 56 of file value_set_fivrns.h.

◆ objectt() [2/2]

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

Definition at line 61 of file value_set_fivrns.h.

Member Function Documentation

◆ offset_is_zero()

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

Definition at line 69 of file value_set_fivrns.h.

References offset, and offset_is_set.

Referenced by value_set_fivrnst::get_reference_set_rec().

Member Data Documentation

◆ offset

◆ offset_is_set


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