cprover
value_set_fivrt::object_map_dt Class Reference

#include <value_set_fivr.h>

Collaboration diagram for value_set_fivrt::object_map_dt:
[legend]

Classes

class  validity_ranget
 

Public Types

typedef std::map< unsigned, objecttobjmapt
 
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 (unsigned k)
 
iterator begin ()
 
const_iterator begin () const
 
iterator end ()
 
const_iterator end () const
 
size_t size () const
 
bool empty () const
 
void clear ()
 
objecttoperator[] (unsigned k)
 
std::pair< iterator, bool > insert (const std::pair< unsigned, objectt > &)
 
iterator insert (iterator, const std::pair< unsigned, objectt > &)
 
bool set_valid_at (unsigned inx, unsigned f, unsigned line)
 
bool set_valid_at (unsigned inx, const validity_ranget &vr)
 
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 72 of file value_set_fivr.h.

Member Typedef Documentation

◆ const_iterator

typedef objmapt::const_iterator value_set_fivrt::object_map_dt::const_iterator

Definition at line 82 of file value_set_fivr.h.

◆ iterator

typedef objmapt::iterator value_set_fivrt::object_map_dt::iterator

Definition at line 84 of file value_set_fivr.h.

◆ objmapt

typedef std::map<unsigned, objectt> value_set_fivrt::object_map_dt::objmapt

Definition at line 78 of file value_set_fivr.h.

◆ validity_rangest

Definition at line 133 of file value_set_fivr.h.

◆ vrange_listt

Definition at line 132 of file value_set_fivr.h.

Constructor & Destructor Documentation

◆ object_map_dt()

value_set_fivrt::object_map_dt::object_map_dt ( )
inline

Definition at line 75 of file value_set_fivr.h.

Member Function Documentation

◆ begin() [1/2]

◆ begin() [2/2]

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

Definition at line 88 of file value_set_fivr.h.

References objmap.

◆ clear()

void value_set_fivrt::object_map_dt::clear ( void  )
inline

Definition at line 93 of file value_set_fivr.h.

References objmap, and validity_ranges.

◆ empty()

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

Definition at line 92 of file value_set_fivr.h.

References objmap.

Referenced by value_set_fivrt::output().

◆ end() [1/2]

◆ end() [2/2]

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

Definition at line 90 of file value_set_fivr.h.

References objmap.

◆ find()

const_iterator value_set_fivrt::object_map_dt::find ( unsigned  k)
inline

Definition at line 86 of file value_set_fivr.h.

References objmap.

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

◆ insert() [1/2]

std::pair<iterator, bool> value_set_fivrt::object_map_dt::insert ( const std::pair< unsigned, objectt > &  )
inline

Definition at line 101 of file value_set_fivr.h.

◆ insert() [2/2]

iterator value_set_fivrt::object_map_dt::insert ( iterator  ,
const std::pair< unsigned, objectt > &   
)
inline

Definition at line 105 of file value_set_fivr.h.

◆ is_valid_at()

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

Definition at line 1837 of file value_set_fivr.cpp.

◆ operator[]()

objectt& value_set_fivrt::object_map_dt::operator[] ( unsigned  k)
inline

Definition at line 95 of file value_set_fivr.h.

References objmap.

◆ set_valid_at() [1/2]

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

◆ set_valid_at() [2/2]

◆ size()

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

Definition at line 91 of file value_set_fivr.h.

References objmap.

Member Data Documentation

◆ blank

const value_set_fivrt::object_map_dt value_set_fivrt::object_map_dt::blank
static

Definition at line 76 of file value_set_fivr.h.

◆ objmap

objmapt value_set_fivrt::object_map_dt::objmap

Definition at line 79 of file value_set_fivr.h.

Referenced by begin(), clear(), empty(), end(), find(), operator[](), and size().

◆ validity_ranges

validity_rangest value_set_fivrt::object_map_dt::validity_ranges

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