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.
References small_mapt< T, Ind, Num >::const_iterator::find_next().
Referenced by small_mapt< T, Ind, Num >::const_iterator::operator++().
|
inline |
Definition at line 300 of file small_map.h.
|
inlineprivate |
Definition at line 348 of file small_map.h.
References small_mapt< T, Ind, Num >::get_field(), small_mapt< T, Ind, Num >::const_iterator::idx, small_mapt< T, Ind, Num >::const_iterator::ii, small_mapt< T, Ind, Num >::const_iterator::m, and small_mapt< T, Ind, Num >::NUM.
Referenced by small_mapt< T, Ind, Num >::const_iterator::const_iterator(), and small_mapt< T, Ind, Num >::const_iterator::operator++().
|
inline |
Definition at line 342 of file small_map.h.
References small_mapt< T, Ind, Num >::const_iterator::idx.
|
inline |
Definition at line 308 of file small_map.h.
References small_mapt< T, Ind, Num >::const_iterator::idx, small_mapt< T, Ind, Num >::const_iterator::ii, small_mapt< T, Ind, Num >::const_iterator::m, and small_mapt< T, Ind, Num >::p.
|
inline |
Definition at line 318 of file small_map.h.
References small_mapt< T, Ind, Num >::const_iterator::find_next(), and small_mapt< T, Ind, Num >::const_iterator::idx.
|
inline |
Definition at line 326 of file small_map.h.
References small_mapt< T, Ind, Num >::const_iterator::const_iterator(), small_mapt< T, Ind, Num >::const_iterator::find_next(), small_mapt< T, Ind, Num >::const_iterator::idx, small_mapt< T, Ind, Num >::const_iterator::ii, and small_mapt< T, Ind, Num >::const_iterator::m.
|
inline |
Definition at line 313 of file small_map.h.
References small_mapt< T, Ind, Num >::const_iterator::idx, small_mapt< T, Ind, Num >::const_iterator::ii, small_mapt< T, Ind, Num >::const_iterator::m, and small_mapt< T, Ind, Num >::p.
|
inline |
Definition at line 337 of file small_map.h.
References small_mapt< T, Ind, Num >::const_iterator::idx.
|
private |
Definition at line 364 of file small_map.h.
Referenced by small_mapt< T, Ind, Num >::const_iterator::find_next(), small_mapt< T, Ind, Num >::const_iterator::operator!=(), small_mapt< T, Ind, Num >::const_iterator::operator*(), small_mapt< T, Ind, Num >::const_iterator::operator++(), small_mapt< T, Ind, Num >::const_iterator::operator->(), and small_mapt< T, Ind, Num >::const_iterator::operator==().
|
private |
|
private |