small_mapt< T, Ind, Num >::const_value_iterator Class Reference

Const value iterator. More...

#include <small_map.h>

Collaboration diagram for small_mapt< T, Ind, Num >::const_value_iterator:

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

Detailed Description

template<typename T, typename Ind = uint32_t, std::size_t Num = 8>
class small_mapt< T, Ind, Num >::const_value_iterator

Const value iterator.

Iterates over the mapped values (in an unspecified order).

Any modification of the underlying map invalidates the iterator

Definition at line 342 of file small_map.h.

Constructor & Destructor Documentation

const_value_iterator()

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

small_mapt< T, Ind, Num >::const_value_iterator::const_value_iterator ( const small_mapt &  m, const int  ii  )

inline

Definition at line 345 of file small_map.h.

Member Function Documentation

operator!=()

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

bool small_mapt< T, Ind, Num >::const_value_iterator::operator!= ( const const_value_iterator &  other ) const

inline

Definition at line 380 of file small_map.h.

operator*()

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

const T& small_mapt< T, Ind, Num >::const_value_iterator::operator* ( ) const

inline

Definition at line 349 of file small_map.h.

operator++() [1/2]

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

const_value_iterator small_mapt< T, Ind, Num >::const_value_iterator::operator++ ( )

inline

Definition at line 359 of file small_map.h.

operator++() [2/2]

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

const_value_iterator small_mapt< T, Ind, Num >::const_value_iterator::operator++ ( int  )

inline

Definition at line 366 of file small_map.h.

operator->()

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

const T* small_mapt< T, Ind, Num >::const_value_iterator::operator-> ( ) const

inline

Definition at line 354 of file small_map.h.

operator==()

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

bool small_mapt< T, Ind, Num >::const_value_iterator::operator== ( const const_value_iterator &  other ) const

inline

Definition at line 375 of file small_map.h.

Member Data Documentation

ii

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

int small_mapt< T, Ind, Num >::const_value_iterator::ii

private

Definition at line 387 of file small_map.h.

m

template<typename T , typename Ind = uint32_t, std::size_t Num = 8>

const small_mapt& small_mapt< T, Ind, Num >::const_value_iterator::m

private

Definition at line 386 of file small_map.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/small_map.h