mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator Class Reference

constant iterator class for simple_list More...

#include <liblts_bisim_dnj.h>

Inheritance diagram for mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator:
mcrl2::lts::detail::bisim_dnj::simple_list< T >::iterator mcrl2::lts::detail::bisim_dnj::simple_list< T >::iterator_or_null

Public Types

typedef std::bidirectional_iterator_tag iterator_category
 
typedef T value_type
 
typedef std::ptrdiff_t difference_type
 
typedef T * pointer
 
typedef T & reference
 

Public Member Functions

 const_iterator ()=default
 
 const_iterator (const const_iterator &other)=default
 
const_iteratoroperator= (const const_iterator &other)=default
 
const_iteratoroperator++ ()
 
const_iteratoroperator-- ()
 
const T & operator* () const
 
const T * operator-> () const
 
bool operator== (const const_iterator &other) const
 
bool operator!= (const const_iterator &other) const
 

Protected Member Functions

 const_iterator (const empty_entry *const new_ptr)
 

Protected Attributes

empty_entryptr
 

Friends

class simple_list
 

Detailed Description

template<class T>
class mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator

constant iterator class for simple_list

Definition at line 441 of file liblts_bisim_dnj.h.

Member Typedef Documentation

◆ difference_type

template<class T >
typedef std::ptrdiff_t mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::difference_type

Definition at line 446 of file liblts_bisim_dnj.h.

◆ iterator_category

template<class T >
typedef std::bidirectional_iterator_tag mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::iterator_category

Definition at line 444 of file liblts_bisim_dnj.h.

◆ pointer

template<class T >
typedef T* mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::pointer

Definition at line 447 of file liblts_bisim_dnj.h.

◆ reference

template<class T >
typedef T& mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::reference

Definition at line 448 of file liblts_bisim_dnj.h.

◆ value_type

template<class T >
typedef T mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::value_type

Definition at line 445 of file liblts_bisim_dnj.h.

Constructor & Destructor Documentation

◆ const_iterator() [1/3]

template<class T >
mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::const_iterator ( const empty_entry *const  new_ptr)
inlineprotected

Definition at line 452 of file liblts_bisim_dnj.h.

◆ const_iterator() [2/3]

template<class T >
mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::const_iterator ( )
default

◆ const_iterator() [3/3]

template<class T >
mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::const_iterator ( const const_iterator other)
default

Member Function Documentation

◆ operator!=()

template<class T >
bool mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::operator!= ( const const_iterator other) const
inline

Definition at line 475 of file liblts_bisim_dnj.h.

◆ operator*()

template<class T >
const T & mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::operator* ( ) const
inline

Definition at line 463 of file liblts_bisim_dnj.h.

◆ operator++()

template<class T >
const_iterator & mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::operator++ ( )
inline

Definition at line 461 of file liblts_bisim_dnj.h.

◆ operator--()

template<class T >
const_iterator & mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::operator-- ( )
inline

Definition at line 462 of file liblts_bisim_dnj.h.

◆ operator->()

template<class T >
const T * mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::operator-> ( ) const
inline

Definition at line 467 of file liblts_bisim_dnj.h.

◆ operator=()

template<class T >
const_iterator & mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::operator= ( const const_iterator other)
default

◆ operator==()

template<class T >
bool mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::operator== ( const const_iterator other) const
inline

Definition at line 471 of file liblts_bisim_dnj.h.

Friends And Related Symbol Documentation

◆ simple_list

template<class T >
friend class simple_list
friend

Definition at line 456 of file liblts_bisim_dnj.h.

Member Data Documentation

◆ ptr

template<class T >
empty_entry* mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator::ptr
protected

Definition at line 450 of file liblts_bisim_dnj.h.


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