cprover
|
#include <value_set_fivr.h>
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 | 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 |
Definition at line 63 of file value_set_fivr.h.
typedef objmapt::const_iterator value_set_fivrt::object_map_dt::const_iterator |
Definition at line 73 of file value_set_fivr.h.
typedef objmapt::iterator value_set_fivrt::object_map_dt::iterator |
Definition at line 75 of file value_set_fivr.h.
typedef std::map<object_numberingt::number_type, offsett> value_set_fivrt::object_map_dt::objmapt |
Definition at line 69 of file value_set_fivr.h.
typedef std::map<unsigned, vrange_listt> value_set_fivrt::object_map_dt::validity_rangest |
Definition at line 129 of file value_set_fivr.h.
typedef std::list<validity_ranget> value_set_fivrt::object_map_dt::vrange_listt |
Definition at line 128 of file value_set_fivr.h.
|
inline |
Definition at line 66 of file value_set_fivr.h.
|
inline |
Definition at line 81 of file value_set_fivr.h.
|
inline |
Definition at line 82 of file value_set_fivr.h.
|
inline |
Definition at line 87 of file value_set_fivr.h.
|
inline |
Definition at line 86 of file value_set_fivr.h.
|
inline |
Definition at line 83 of file value_set_fivr.h.
|
inline |
Definition at line 84 of file value_set_fivr.h.
|
inline |
Definition at line 77 of file value_set_fivr.h.
|
inline |
Definition at line 96 of file value_set_fivr.h.
|
inline |
Definition at line 101 of file value_set_fivr.h.
bool value_set_fivrt::object_map_dt::is_valid_at | ( | unsigned | inx, |
unsigned | f, | ||
unsigned | line | ||
) | const |
|
inline |
Definition at line 89 of file value_set_fivr.h.
bool value_set_fivrt::object_map_dt::set_valid_at | ( | unsigned | inx, |
const validity_ranget & | vr | ||
) |
bool value_set_fivrt::object_map_dt::set_valid_at | ( | unsigned | inx, |
unsigned | f, | ||
unsigned | line | ||
) |
|
inline |
Definition at line 85 of file value_set_fivr.h.
|
static |
Definition at line 67 of file value_set_fivr.h.
objmapt value_set_fivrt::object_map_dt::objmap |
Definition at line 70 of file value_set_fivr.h.
validity_rangest value_set_fivrt::object_map_dt::validity_ranges |
Definition at line 130 of file value_set_fivr.h.