cprover
|
Const value iterator. More...
#include <small_map.h>
Public Member Functions | |
const_value_iterator (const small_mapt &m, const int ii) | |
const T & | operator* () const |
const T * | operator-> () const |
const_value_iterator | operator++ () |
const_value_iterator | operator++ (int) |
bool | operator== (const const_value_iterator &other) const |
bool | operator!= (const const_value_iterator &other) const |
Private Attributes | |
const small_mapt & | m |
int | ii |
Const value iterator.
Iterates over the mapped values (in an unspecified order).
Any modification of the underlying map invalidates the iterator
Definition at line 383 of file small_map.h.
|
inline |
Definition at line 386 of file small_map.h.
Referenced by small_mapt< T, Ind, Num >::const_value_iterator::operator++().
|
inline |
Definition at line 421 of file small_map.h.
References small_mapt< T, Ind, Num >::const_value_iterator::ii.
|
inline |
Definition at line 390 of file small_map.h.
References small_mapt< T, Ind, Num >::const_value_iterator::ii, small_mapt< T, Ind, Num >::const_value_iterator::m, and small_mapt< T, Ind, Num >::p.
|
inline |
Definition at line 400 of file small_map.h.
References small_mapt< T, Ind, Num >::const_value_iterator::ii.
|
inline |
Definition at line 407 of file small_map.h.
References small_mapt< T, Ind, Num >::const_value_iterator::const_value_iterator(), small_mapt< T, Ind, Num >::const_value_iterator::ii, and small_mapt< T, Ind, Num >::const_value_iterator::m.
|
inline |
Definition at line 395 of file small_map.h.
References small_mapt< T, Ind, Num >::const_value_iterator::ii, small_mapt< T, Ind, Num >::const_value_iterator::m, and small_mapt< T, Ind, Num >::p.
|
inline |
Definition at line 416 of file small_map.h.
References small_mapt< T, Ind, Num >::const_value_iterator::ii.
|
private |
Definition at line 428 of file small_map.h.
Referenced by small_mapt< T, Ind, Num >::const_value_iterator::operator!=(), small_mapt< T, Ind, Num >::const_value_iterator::operator*(), small_mapt< T, Ind, Num >::const_value_iterator::operator++(), small_mapt< T, Ind, Num >::const_value_iterator::operator->(), and small_mapt< T, Ind, Num >::const_value_iterator::operator==().
|
private |
Definition at line 427 of file small_map.h.
Referenced by small_mapt< T, Ind, Num >::const_value_iterator::operator*(), small_mapt< T, Ind, Num >::const_value_iterator::operator++(), and small_mapt< T, Ind, Num >::const_value_iterator::operator->().