dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue > Class Template Reference

Collaboration diagram for dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >:

Public Types
using	iterator_category = std::forward_iterator_tag
using	value_type = UnderlyingValue
using	difference_type = std::ptrdiff_t
using	pointer = UnderlyingValue *
using	reference = 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)
self_typet	operator++ ()
self_typet	operator++ (int junk)
reference	operator* () const
pointer	operator-> () const
bool	operator== (const self_typet &rhs) const
bool	operator!= (const self_typet &rhs) const

Private Types
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 119 of file dense_integer_map.h.

Member Typedef Documentation

difference_type

template<class K , class V , class KeyToDenseInteger = identity_functort>

template<class UnderlyingIterator , class UnderlyingValue >

using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::difference_type = std::ptrdiff_t

Definition at line 131 of file dense_integer_map.h.

iterator_category

template<class K , class V , class KeyToDenseInteger = identity_functort>

template<class UnderlyingIterator , class UnderlyingValue >

using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::iterator_category = std::forward_iterator_tag

Definition at line 129 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 124 of file dense_integer_map.h.

pointer

template<class K , class V , class KeyToDenseInteger = identity_functort>

template<class UnderlyingIterator , class UnderlyingValue >

using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::pointer = UnderlyingValue *

Definition at line 132 of file dense_integer_map.h.

reference

template<class K , class V , class KeyToDenseInteger = identity_functort>

template<class UnderlyingIterator , class UnderlyingValue >

using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::reference = UnderlyingValue &

Definition at line 133 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 122 of file dense_integer_map.h.

value_type

template<class K , class V , class KeyToDenseInteger = identity_functort>

template<class UnderlyingIterator , class UnderlyingValue >

using dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::value_type = UnderlyingValue

Definition at line 130 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 135 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 180 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 143 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 173 of file dense_integer_map.h.

operator*()

template<class K , class V , class KeyToDenseInteger = identity_functort>

template<class UnderlyingIterator , class UnderlyingValue >

reference dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator* ( ) const

inline

Definition at line 161 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 150 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 156 of file dense_integer_map.h.

operator->()

template<class K , class V , class KeyToDenseInteger = identity_functort>

template<class UnderlyingIterator , class UnderlyingValue >

pointer dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >::operator-> ( ) const

inline

Definition at line 165 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 169 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 186 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 201 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 202 of file dense_integer_map.h.

---

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

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