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 61 of file value_set_fivr.h.
typedef objmapt::const_iterator value_set_fivrt::object_map_dt::const_iterator |
Definition at line 71 of file value_set_fivr.h.
typedef objmapt::iterator value_set_fivrt::object_map_dt::iterator |
Definition at line 73 of file value_set_fivr.h.
typedef std::map<object_numberingt::number_type, offsett> value_set_fivrt::object_map_dt::objmapt |
Definition at line 67 of file value_set_fivr.h.
typedef std::map<unsigned, vrange_listt> value_set_fivrt::object_map_dt::validity_rangest |
Definition at line 127 of file value_set_fivr.h.
typedef std::list<validity_ranget> value_set_fivrt::object_map_dt::vrange_listt |
Definition at line 126 of file value_set_fivr.h.
|
inline |
Definition at line 64 of file value_set_fivr.h.
|
inline |
Definition at line 79 of file value_set_fivr.h.
References objmap.
Referenced by value_set_fivrt::assign_rec(), value_set_fivrt::flatten_rec(), value_set_fivrt::get_reference_set(), value_set_fivrt::get_reference_set_sharing_rec(), value_set_fivrt::get_value_set(), and value_set_fivrt::get_value_set_rec().
|
inline |
Definition at line 80 of file value_set_fivr.h.
References objmap.
|
inline |
Definition at line 85 of file value_set_fivr.h.
References objmap, and validity_ranges.
|
inline |
Definition at line 84 of file value_set_fivr.h.
References objmap.
Referenced by value_set_fivrt::output().
|
inline |
Definition at line 81 of file value_set_fivr.h.
References objmap.
Referenced by value_set_fivrt::assign_rec(), value_set_fivrt::flatten_rec(), value_set_fivrt::get_reference_set(), value_set_fivrt::get_reference_set_sharing_rec(), value_set_fivrt::get_value_set(), value_set_fivrt::get_value_set_rec(), value_set_fivrt::insert_from(), value_set_fivrt::insert_to(), and value_set_fivrt::output().
|
inline |
Definition at line 82 of file value_set_fivr.h.
References objmap.
|
inline |
Definition at line 75 of file value_set_fivr.h.
References objmap.
Referenced by value_set_fivrt::insert_from(), and value_set_fivrt::insert_to().
|
inline |
Definition at line 94 of file value_set_fivr.h.
References UNREACHABLE.
|
inline |
Definition at line 99 of file value_set_fivr.h.
References UNREACHABLE.
bool value_set_fivrt::object_map_dt::is_valid_at | ( | unsigned | inx, |
unsigned | f, | ||
unsigned | line | ||
) | const |
Definition at line 1820 of file value_set_fivr.cpp.
|
inline |
Definition at line 87 of file value_set_fivr.h.
References objmap.
bool value_set_fivrt::object_map_dt::set_valid_at | ( | unsigned | inx, |
unsigned | f, | ||
unsigned | line | ||
) |
Definition at line 1749 of file value_set_fivr.cpp.
Referenced by value_set_fivrt::flatten_rec(), value_set_fivrt::handover(), value_set_fivrt::insert_from(), value_set_fivrt::insert_to(), and set_valid_at().
bool value_set_fivrt::object_map_dt::set_valid_at | ( | unsigned | inx, |
const validity_ranget & | vr | ||
) |
Definition at line 1736 of file value_set_fivr.cpp.
References value_set_fivrt::object_map_dt::validity_ranget::from, value_set_fivrt::object_map_dt::validity_ranget::function, set_valid_at(), and value_set_fivrt::object_map_dt::validity_ranget::to.
|
inline |
Definition at line 83 of file value_set_fivr.h.
References objmap.
|
static |
Definition at line 65 of file value_set_fivr.h.
objmapt value_set_fivrt::object_map_dt::objmap |
Definition at line 68 of file value_set_fivr.h.
Referenced by begin(), clear(), empty(), end(), find(), operator[](), and size().
validity_rangest value_set_fivrt::object_map_dt::validity_ranges |
Definition at line 128 of file value_set_fivr.h.
Referenced by clear(), value_set_fivrt::copy_objects(), value_set_fivrt::flatten_rec(), and value_set_fivrt::output().