cprover
|
#include <sparse_vector.h>
Public Types | |
typedef underlyingt::iterator | iteratort |
typedef underlyingt::const_iterator | const_iteratort |
Public Member Functions | |
sparse_vectort () | |
const T & | operator[] (uint64_t idx) const |
T & | operator[] (uint64_t idx) |
uint64_t | size () const |
void | resize (uint64_t new_size) |
iteratort | begin () |
const_iteratort | begin () const |
iteratort | end () |
const_iteratort | end () const |
const_iteratort | find (uint64_t idx) |
Protected Types | |
typedef std::map< uint64_t, T > | underlyingt |
Protected Attributes | |
underlyingt | underlying |
uint64_t | _size |
Definition at line 20 of file sparse_vector.h.
typedef underlyingt::const_iterator sparse_vectort< T >::const_iteratort |
Definition at line 55 of file sparse_vector.h.
typedef underlyingt::iterator sparse_vectort< T >::iteratort |
Definition at line 54 of file sparse_vector.h.
|
protected |
Definition at line 23 of file sparse_vector.h.
|
inline |
Definition at line 28 of file sparse_vector.h.
|
inline |
Definition at line 57 of file sparse_vector.h.
|
inline |
Definition at line 58 of file sparse_vector.h.
|
inline |
Definition at line 60 of file sparse_vector.h.
Referenced by interpretert::base_address_to_actual_size().
|
inline |
Definition at line 61 of file sparse_vector.h.
|
inline |
Definition at line 63 of file sparse_vector.h.
Referenced by interpretert::base_address_to_actual_size().
|
inline |
Definition at line 31 of file sparse_vector.h.
|
inline |
Definition at line 37 of file sparse_vector.h.
|
inline |
Definition at line 48 of file sparse_vector.h.
Referenced by interpretert::build_memory_map().
|
inline |
Definition at line 43 of file sparse_vector.h.
Referenced by interpretert::allocate(), interpretert::assign(), interpretert::base_address_to_alloc_size(), interpretert::build_memory_map(), interpretert::evaluate(), interpretert::evaluate_address(), interpretert::execute_function_call(), interpretert::get_value(), interpretert::read(), and interpretert::read_unbounded().
|
protected |
Definition at line 25 of file sparse_vector.h.
Referenced by sparse_vectort< memory_cellt >::operator[](), sparse_vectort< memory_cellt >::resize(), and sparse_vectort< memory_cellt >::size().
|
protected |
Definition at line 24 of file sparse_vector.h.
Referenced by sparse_vectort< memory_cellt >::begin(), sparse_vectort< memory_cellt >::end(), sparse_vectort< memory_cellt >::find(), and sparse_vectort< memory_cellt >::operator[]().