cprover
value_set_fivrnst::object_map_dt Class Reference

#include <value_set_fivrns.h>

Collaboration diagram for value_set_fivrnst::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 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 73 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 83 of file value_set_fivrns.h.

§ iterator

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

Definition at line 85 of file value_set_fivrns.h.

§ objmapt

Definition at line 79 of file value_set_fivrns.h.

§ validity_rangest

Definition at line 134 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 76 of file value_set_fivrns.h.

Member Function Documentation

§ begin() [1/2]

iterator value_set_fivrnst::object_map_dt::begin ( )
inline

§ begin() [2/2]

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

Definition at line 89 of file value_set_fivrns.h.

§ clear()

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

Definition at line 94 of file value_set_fivrns.h.

§ empty()

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

Definition at line 93 of file value_set_fivrns.h.

Referenced by value_set_fivrnst::output_entry().

§ end() [1/2]

§ end() [2/2]

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

Definition at line 91 of file value_set_fivrns.h.

§ find()

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

§ insert() [1/2]

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

Definition at line 102 of file value_set_fivrns.h.

§ insert() [2/2]

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

Definition at line 106 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

Definition at line 1480 of file value_set_fivrns.cpp.

§ operator[]()

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

Definition at line 96 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 92 of file value_set_fivrns.h.

Member Data Documentation

§ blank

const value_set_fivrnst::object_map_dt value_set_fivrnst::object_map_dt::blank
static

Definition at line 77 of file value_set_fivrns.h.

§ objmap

objmapt value_set_fivrnst::object_map_dt::objmap

Definition at line 80 of file value_set_fivrns.h.

§ validity_ranges

validity_rangest value_set_fivrnst::object_map_dt::validity_ranges

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