cprover
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_maptm
 
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 383 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 386 of file small_map.h.

Member Function Documentation

◆ 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 390 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 421 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 400 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 407 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 395 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 416 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 428 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 427 of file small_map.h.


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