CBMC
|
Public Types | |
using | iterator_category = std::forward_iterator_tag |
using | value_type = UnderlyingValue |
using | difference_type = std::ptrdiff_t |
using | pointer = UnderlyingValue * |
using | reference = UnderlyingValue & |
Public Member Functions | |
iterator_templatet (UnderlyingIterator it, const map_typet &underlying_map) | |
operator iterator_templatet< typename backing_storet::const_iterator, const typename backing_storet::value_type > () const | |
Convert iterator to const_iterator (redundant when defined in the const_iterator itself) More... | |
self_typet | operator++ () |
self_typet | operator++ (int junk) |
reference | operator* () const |
pointer | operator-> () const |
bool | operator== (const self_typet &rhs) const |
bool | operator!= (const self_typet &rhs) const |
Private Types | |
typedef iterator_templatet< UnderlyingIterator, UnderlyingValue > | self_typet |
typedef dense_integer_mapt< K, V, KeyToDenseInteger > | map_typet |
Private Member Functions | |
UnderlyingIterator | advance (UnderlyingIterator it) |
UnderlyingIterator | skip_unset_values (UnderlyingIterator it) |
Private Attributes | |
UnderlyingIterator | underlying_iterator |
const map_typet & | underlying_map |
Definition at line 118 of file dense_integer_map.h.
using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::difference_type = std::ptrdiff_t |
Definition at line 130 of file dense_integer_map.h.
using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::iterator_category = std::forward_iterator_tag |
Definition at line 128 of file dense_integer_map.h.
|
private |
Definition at line 123 of file dense_integer_map.h.
using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::pointer = UnderlyingValue * |
Definition at line 131 of file dense_integer_map.h.
using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::reference = UnderlyingValue & |
Definition at line 132 of file dense_integer_map.h.
|
private |
Definition at line 121 of file dense_integer_map.h.
using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::value_type = UnderlyingValue |
Definition at line 129 of file dense_integer_map.h.
|
inline |
Definition at line 134 of file dense_integer_map.h.
|
inlineprivate |
Definition at line 179 of file dense_integer_map.h.
|
inline |
Convert iterator to const_iterator (redundant when defined in the const_iterator itself)
Definition at line 142 of file dense_integer_map.h.
|
inline |
Definition at line 172 of file dense_integer_map.h.
|
inline |
Definition at line 160 of file dense_integer_map.h.
|
inline |
Definition at line 149 of file dense_integer_map.h.
|
inline |
Definition at line 155 of file dense_integer_map.h.
|
inline |
Definition at line 164 of file dense_integer_map.h.
|
inline |
Definition at line 168 of file dense_integer_map.h.
|
inlineprivate |
Definition at line 185 of file dense_integer_map.h.
|
private |
Definition at line 200 of file dense_integer_map.h.
|
private |
Definition at line 201 of file dense_integer_map.h.