|
cprover
|
#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, offsett > | objmapt |
| typedef objmapt::const_iterator | const_iterator |
| typedef objmapt::iterator | iterator |
| typedef std::list< validity_ranget > | vrange_listt |
| typedef std::map< unsigned, vrange_listt > | validity_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 () |
| offsett & | operator[] (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 |
Definition at line 62 of file value_set_fivrns.h.
| typedef objmapt::const_iterator value_set_fivrnst::object_map_dt::const_iterator |
Definition at line 72 of file value_set_fivrns.h.
| typedef objmapt::iterator value_set_fivrnst::object_map_dt::iterator |
Definition at line 74 of file value_set_fivrns.h.
| typedef std::map<object_numberingt::number_type, offsett> value_set_fivrnst::object_map_dt::objmapt |
Definition at line 68 of file value_set_fivrns.h.
| typedef std::map<unsigned, vrange_listt> value_set_fivrnst::object_map_dt::validity_rangest |
Definition at line 128 of file value_set_fivrns.h.
| typedef std::list<validity_ranget> value_set_fivrnst::object_map_dt::vrange_listt |
Definition at line 127 of file value_set_fivrns.h.
|
inline |
Definition at line 65 of file value_set_fivrns.h.
|
inline |
Definition at line 80 of file value_set_fivrns.h.
|
inline |
Definition at line 81 of file value_set_fivrns.h.
|
inline |
Definition at line 86 of file value_set_fivrns.h.
|
inline |
Definition at line 85 of file value_set_fivrns.h.
|
inline |
Definition at line 82 of file value_set_fivrns.h.
|
inline |
Definition at line 83 of file value_set_fivrns.h.
|
inline |
Definition at line 76 of file value_set_fivrns.h.
|
inline |
Definition at line 95 of file value_set_fivrns.h.
|
inline |
Definition at line 100 of file value_set_fivrns.h.
| bool value_set_fivrnst::object_map_dt::is_valid_at | ( | unsigned | inx, |
| unsigned | f, | ||
| unsigned | line | ||
| ) | const |
Definition at line 1381 of file value_set_fivrns.cpp.
|
inline |
Definition at line 88 of file value_set_fivrns.h.
| bool value_set_fivrnst::object_map_dt::set_valid_at | ( | unsigned | inx, |
| unsigned | f, | ||
| unsigned | line | ||
| ) |
Definition at line 1310 of file value_set_fivrns.cpp.
|
inline |
Definition at line 84 of file value_set_fivrns.h.
|
static |
Definition at line 66 of file value_set_fivrns.h.
| objmapt value_set_fivrnst::object_map_dt::objmap |
Definition at line 69 of file value_set_fivrns.h.
| validity_rangest value_set_fivrnst::object_map_dt::validity_ranges |
Definition at line 129 of file value_set_fivrns.h.