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 value_type | operator* () const |
const std::shared_ptr< value_type > | 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 292 of file small_map.h.
|
inlineexplicit |
Definition at line 295 of file small_map.h.
|
inline |
Definition at line 300 of file small_map.h.
|
inlineprivate |
Definition at line 348 of file small_map.h.
|
inline |
Definition at line 342 of file small_map.h.
|
inline |
Definition at line 308 of file small_map.h.
|
inline |
Definition at line 318 of file small_map.h.
|
inline |
Definition at line 326 of file small_map.h.
|
inline |
Definition at line 313 of file small_map.h.
|
inline |
Definition at line 337 of file small_map.h.
|
private |
Definition at line 364 of file small_map.h.
|
private |
Definition at line 365 of file small_map.h.
|
private |
Definition at line 363 of file small_map.h.