CBMC
Public Member Functions | Private Types | Private Member Functions | Private Attributes | List of all members
dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue > Class Template Reference
+ Inheritance diagram for dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >:
+ Collaboration diagram for dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >:

Public Member Functions

 iterator_templatet (UnderlyingIterator it, const map_typet &underlying_map)
 
 operator iterator_templatet< typename backing_storet::const_iterator, const typename backing_storet::value_type > () const
 Convert iterator to const_iterator (redundant when defined in the const_iterator itself) More...
 
self_typet operator++ ()
 
self_typet operator++ (int junk)
 
base_typet::reference operator* () const
 
base_typet::pointer operator-> () const
 
bool operator== (const self_typet &rhs) const
 
bool operator!= (const self_typet &rhs) const
 

Private Types

typedef std::iterator< std::forward_iterator_tag, UnderlyingValue > base_typet
 
typedef iterator_templatet< UnderlyingIterator, UnderlyingValue > self_typet
 
typedef dense_integer_mapt< K, V, KeyToDenseInteger > map_typet
 

Private Member Functions

UnderlyingIterator advance (UnderlyingIterator it)
 
UnderlyingIterator skip_unset_values (UnderlyingIterator it)
 

Private Attributes

UnderlyingIterator underlying_iterator
 
const map_typet & underlying_map
 

Detailed Description

template<class K, class V, class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator, class UnderlyingValue>
class dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >

Definition at line 118 of file dense_integer_map.h.

Member Typedef Documentation

◆ base_typet

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
typedef std::iterator<std::forward_iterator_tag, UnderlyingValue> dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::base_typet
private

Definition at line 123 of file dense_integer_map.h.

◆ map_typet

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
typedef dense_integer_mapt<K, V, KeyToDenseInteger> dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::map_typet
private

Definition at line 127 of file dense_integer_map.h.

◆ self_typet

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
typedef iterator_templatet<UnderlyingIterator, UnderlyingValue> dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::self_typet
private

Definition at line 125 of file dense_integer_map.h.

Constructor & Destructor Documentation

◆ iterator_templatet()

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::iterator_templatet ( UnderlyingIterator  it,
const map_typet &  underlying_map 
)
inline

Definition at line 130 of file dense_integer_map.h.

Member Function Documentation

◆ advance()

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
UnderlyingIterator dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::advance ( UnderlyingIterator  it)
inlineprivate

Definition at line 175 of file dense_integer_map.h.

◆ operator iterator_templatet< typename backing_storet::const_iterator, const typename backing_storet::value_type >()

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator iterator_templatet< typename backing_storet::const_iterator, const typename backing_storet::value_type > ( ) const
inline

Convert iterator to const_iterator (redundant when defined in the const_iterator itself)

Definition at line 140 of file dense_integer_map.h.

◆ operator!=()

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
bool dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator!= ( const self_typet &  rhs) const
inline

Definition at line 168 of file dense_integer_map.h.

◆ operator*()

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
base_typet::reference dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator* ( ) const
inline

Definition at line 156 of file dense_integer_map.h.

◆ operator++() [1/2]

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
self_typet dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator++ ( )
inline

Definition at line 145 of file dense_integer_map.h.

◆ operator++() [2/2]

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
self_typet dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator++ ( int  junk)
inline

Definition at line 151 of file dense_integer_map.h.

◆ operator->()

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
base_typet::pointer dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator-> ( ) const
inline

Definition at line 160 of file dense_integer_map.h.

◆ operator==()

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
bool dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator== ( const self_typet &  rhs) const
inline

Definition at line 164 of file dense_integer_map.h.

◆ skip_unset_values()

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
UnderlyingIterator dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::skip_unset_values ( UnderlyingIterator  it)
inlineprivate

Definition at line 181 of file dense_integer_map.h.

Member Data Documentation

◆ underlying_iterator

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
UnderlyingIterator dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::underlying_iterator
private

Definition at line 196 of file dense_integer_map.h.

◆ underlying_map

template<class K , class V , class KeyToDenseInteger = identity_functort>
template<class UnderlyingIterator , class UnderlyingValue >
const map_typet& dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::underlying_map
private

Definition at line 197 of file dense_integer_map.h.

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