Loading...

Searching...

No Matches

Public Types | Public Member Functions | Private Attributes | List of all members

concat_iteratort< first_iteratort, second_iteratort > Struct Template Reference

On increment, increments a first iterator and when the corresponding end iterator is reached, starts to increment a second one. More...

#include <range.h>

Public Types

using difference_type = typename first_iteratort::difference_type

using value_type = typename first_iteratort::value_type

using pointer = typename first_iteratort::pointer

using reference = typename first_iteratort::reference

using iterator_category = std::forward_iterator_tag

Public Member Functions

bool operator== (const concat_iteratort &other) const

bool operator!= (const concat_iteratort &other) const

concat_iteratort & operator++ ()

Preincrement operator.

concat_iteratort operator++ (int)

Postincrement operator.

reference operator* () const

pointer operator-> () const

concat_iteratort (first_iteratort first_begin, first_iteratort first_end, second_iteratort second_begin)

Private Attributes

first_iteratort first_begin

first_iteratort first_end

second_iteratort second_begin

Detailed Description

template<typename first_iteratort, typename second_iteratort>
struct concat_iteratort< first_iteratort, second_iteratort >

On increment, increments a first iterator and when the corresponding end iterator is reached, starts to increment a second one.

Dereference corresponds to dereference on the first iterator if the end is not reached yet, and on the second one otherwise.

Definition at line 196 of file range.h.

Member Typedef Documentation

◆ difference_type

template<typename first_iteratort , typename second_iteratort >

using concat_iteratort< first_iteratort, second_iteratort >::difference_type = typename first_iteratort::difference_type

Definition at line 199 of file range.h.

◆ iterator_category

template<typename first_iteratort , typename second_iteratort >

using concat_iteratort< first_iteratort, second_iteratort >::iterator_category = std::forward_iterator_tag

Definition at line 203 of file range.h.

◆ pointer

template<typename first_iteratort , typename second_iteratort >

using concat_iteratort< first_iteratort, second_iteratort >::pointer = typename first_iteratort::pointer

Definition at line 201 of file range.h.

◆ reference

template<typename first_iteratort , typename second_iteratort >

using concat_iteratort< first_iteratort, second_iteratort >::reference = typename first_iteratort::reference

Definition at line 202 of file range.h.

◆ value_type

template<typename first_iteratort , typename second_iteratort >

using concat_iteratort< first_iteratort, second_iteratort >::value_type = typename first_iteratort::value_type

Definition at line 200 of file range.h.

Constructor & Destructor Documentation

◆ concat_iteratort()

template<typename first_iteratort , typename second_iteratort >

concat_iteratort< first_iteratort, second_iteratort >::concat_iteratort ( first_iteratort first_begin,

first_iteratort first_end,

second_iteratort second_begin

)

inline

Definition at line 252 of file range.h.

Member Function Documentation

◆ operator!=()

template<typename first_iteratort , typename second_iteratort >

bool concat_iteratort< first_iteratort, second_iteratort >::operator!= ( const concat_iteratort< first_iteratort, second_iteratort > & other ) const

inline

Definition at line 215 of file range.h.

◆ operator*()

template<typename first_iteratort , typename second_iteratort >

reference concat_iteratort< first_iteratort, second_iteratort >::operator* ( ) const

inline

Definition at line 238 of file range.h.

◆ operator++() [1/2]

template<typename first_iteratort , typename second_iteratort >

concat_iteratort & concat_iteratort< first_iteratort, second_iteratort >::operator++ ( )

inline

Preincrement operator.

Definition at line 221 of file range.h.

◆ operator++() [2/2]

template<typename first_iteratort , typename second_iteratort >

concat_iteratort concat_iteratort< first_iteratort, second_iteratort >::operator++ ( int )

inline

Postincrement operator.

Definition at line 231 of file range.h.

◆ operator->()

template<typename first_iteratort , typename second_iteratort >

pointer concat_iteratort< first_iteratort, second_iteratort >::operator-> ( ) const

inline

Definition at line 245 of file range.h.

◆ operator==()

template<typename first_iteratort , typename second_iteratort >

bool concat_iteratort< first_iteratort, second_iteratort >::operator== ( const concat_iteratort< first_iteratort, second_iteratort > & other ) const

inline

Definition at line 209 of file range.h.

Member Data Documentation

◆ first_begin

template<typename first_iteratort , typename second_iteratort >

first_iteratort concat_iteratort< first_iteratort, second_iteratort >::first_begin

private

Definition at line 263 of file range.h.

◆ first_end

template<typename first_iteratort , typename second_iteratort >

first_iteratort concat_iteratort< first_iteratort, second_iteratort >::first_end

private

Definition at line 264 of file range.h.

◆ second_begin

template<typename first_iteratort , typename second_iteratort >

second_iteratort concat_iteratort< first_iteratort, second_iteratort >::second_begin

private

Definition at line 265 of file range.h.

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

/home/runner/work/cbmc/cbmc/src/util/range.h