cprover
|
Const iterator. More...
#include <small_map.h>
Public Member Functions | |
const_iterator (const small_mapt &m) | |
const_iterator (const small_mapt &m, const std::size_t idx, const std::size_t ii) | |
const valuet | operator* () const |
const std::shared_ptr< valuet > | operator-> () const |
const_iterator | operator++ () |
const_iterator | operator++ (int) |
bool | operator== (const const_iterator &other) const |
bool | operator!= (const const_iterator &other) const |
Private Member Functions | |
void | find_next () |
Private Attributes | |
const small_mapt & | m |
std::size_t | idx |
std::size_t | ii |
Const iterator.
Any modification of the underlying map invalidates the iterator
Definition at line 242 of file small_map.h.
|
inlineexplicit |
Definition at line 245 of file small_map.h.
|
inline |
Definition at line 250 of file small_map.h.
|
inlineprivate |
Definition at line 298 of file small_map.h.
|
inline |
Definition at line 292 of file small_map.h.
|
inline |
Definition at line 258 of file small_map.h.
|
inline |
Definition at line 268 of file small_map.h.
|
inline |
Definition at line 276 of file small_map.h.
|
inline |
Definition at line 263 of file small_map.h.
|
inline |
Definition at line 287 of file small_map.h.
|
private |
Definition at line 314 of file small_map.h.
|
private |
Definition at line 315 of file small_map.h.
|
private |
Definition at line 313 of file small_map.h.