cprover
value_set_fivrnst::object_map_dt Class Reference

#include <value_set_fivrns.h>

+ Collaboration diagram for value_set_fivrnst::object_map_dt:

Classes

class  validity_ranget
 

Public Types

typedef std::map< object_numberingt::number_type, offsettobjmapt
 
typedef objmapt::const_iterator const_iterator
 
typedef objmapt::iterator iterator
 
typedef std::list< validity_rangetvrange_listt
 
typedef std::map< unsigned, vrange_listtvalidity_rangest
 

Public Member Functions

 object_map_dt ()
 
const_iterator find (object_numberingt::number_type k)
 
iterator begin ()
 
const_iterator begin () const
 
iterator end ()
 
const_iterator end () const
 
size_t size () const
 
bool empty () const
 
void clear ()
 
offsettoperator[] (object_numberingt::number_type k)
 
std::pair< iterator, bool > insert (const std::pair< object_numberingt::number_type, offsett > &)
 
iterator insert (iterator, const std::pair< object_numberingt::number_type, offsett > &)
 
bool set_valid_at (unsigned inx, unsigned f, unsigned line)
 
bool is_valid_at (unsigned inx, unsigned f, unsigned line) const
 

Public Attributes

objmapt objmap
 
validity_rangest validity_ranges
 

Static Public Attributes

static const object_map_dt blank
 

Detailed Description

Definition at line 64 of file value_set_fivrns.h.

Member Typedef Documentation

◆ const_iterator

typedef objmapt::const_iterator value_set_fivrnst::object_map_dt::const_iterator

Definition at line 74 of file value_set_fivrns.h.

◆ iterator

typedef objmapt::iterator value_set_fivrnst::object_map_dt::iterator

Definition at line 76 of file value_set_fivrns.h.

◆ objmapt

◆ validity_rangest

Definition at line 130 of file value_set_fivrns.h.

◆ vrange_listt

Constructor & Destructor Documentation

◆ object_map_dt()

value_set_fivrnst::object_map_dt::object_map_dt ( )
inline

Definition at line 67 of file value_set_fivrns.h.

Member Function Documentation

◆ begin() [1/2]

iterator value_set_fivrnst::object_map_dt::begin ( )
inline

Definition at line 82 of file value_set_fivrns.h.

◆ begin() [2/2]

const_iterator value_set_fivrnst::object_map_dt::begin ( ) const
inline

Definition at line 83 of file value_set_fivrns.h.

◆ clear()

void value_set_fivrnst::object_map_dt::clear ( void  )
inline

Definition at line 88 of file value_set_fivrns.h.

◆ empty()

bool value_set_fivrnst::object_map_dt::empty ( ) const
inline

Definition at line 87 of file value_set_fivrns.h.

◆ end() [1/2]

iterator value_set_fivrnst::object_map_dt::end ( )
inline

Definition at line 84 of file value_set_fivrns.h.

◆ end() [2/2]

const_iterator value_set_fivrnst::object_map_dt::end ( ) const
inline

Definition at line 85 of file value_set_fivrns.h.

◆ find()

const_iterator value_set_fivrnst::object_map_dt::find ( object_numberingt::number_type  k)
inline

Definition at line 78 of file value_set_fivrns.h.

◆ insert() [1/2]

std::pair<iterator, bool> value_set_fivrnst::object_map_dt::insert ( const std::pair< object_numberingt::number_type, offsett > &  )
inline

Definition at line 97 of file value_set_fivrns.h.

◆ insert() [2/2]

iterator value_set_fivrnst::object_map_dt::insert ( iterator  ,
const std::pair< object_numberingt::number_type, offsett > &   
)
inline

Definition at line 102 of file value_set_fivrns.h.

◆ is_valid_at()

bool value_set_fivrnst::object_map_dt::is_valid_at ( unsigned  inx,
unsigned  f,
unsigned  line 
) const

◆ operator[]()

offsett& value_set_fivrnst::object_map_dt::operator[] ( object_numberingt::number_type  k)
inline

Definition at line 90 of file value_set_fivrns.h.

◆ set_valid_at()

bool value_set_fivrnst::object_map_dt::set_valid_at ( unsigned  inx,
unsigned  f,
unsigned  line 
)

◆ size()

size_t value_set_fivrnst::object_map_dt::size ( ) const
inline

Definition at line 86 of file value_set_fivrns.h.

Member Data Documentation

◆ blank

const object_map_dt value_set_fivrnst::object_map_dt::blank
static

Definition at line 68 of file value_set_fivrns.h.

◆ objmap

objmapt value_set_fivrnst::object_map_dt::objmap

Definition at line 71 of file value_set_fivrns.h.

◆ validity_ranges

validity_rangest value_set_fivrnst::object_map_dt::validity_ranges

Definition at line 131 of file value_set_fivrns.h.


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