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

iterator class for simple_list More...

#include <liblts_bisim_dnj.h>

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

Public Types

typedef const_iterator::iterator_category iterator_category
 
typedef const_iterator::value_type value_type
 
typedef const_iterator::difference_type difference_type
 
typedef const_iterator::pointer pointer
 
typedef const_iterator::reference reference
 
- Public Types inherited from mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator
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

 iterator ()=default
 
 iterator (const iterator &other)=default
 
iteratoroperator= (const iterator &other)=default
 
iteratoroperator++ ()
 
iteratoroperator-- ()
 
T & operator* () const
 
T * operator-> () const
 
- Public Member Functions inherited from mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator
 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

 iterator (empty_entry *const new_ptr)
 
- Protected Member Functions inherited from mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator
 const_iterator (const empty_entry *const new_ptr)
 

Friends

class simple_list
 

Additional Inherited Members

- Protected Attributes inherited from mcrl2::lts::detail::bisim_dnj::simple_list< T >::const_iterator
empty_entryptr
 

Detailed Description

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

iterator class for simple_list

Definition at line 482 of file liblts_bisim_dnj.h.

Member Typedef Documentation

◆ difference_type

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

Definition at line 488 of file liblts_bisim_dnj.h.

◆ iterator_category

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

Definition at line 486 of file liblts_bisim_dnj.h.

◆ pointer

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

Definition at line 489 of file liblts_bisim_dnj.h.

◆ reference

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

Definition at line 490 of file liblts_bisim_dnj.h.

◆ value_type

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

Definition at line 487 of file liblts_bisim_dnj.h.

Constructor & Destructor Documentation

◆ iterator() [1/3]

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

Definition at line 492 of file liblts_bisim_dnj.h.

◆ iterator() [2/3]

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

◆ iterator() [3/3]

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

Member Function Documentation

◆ operator*()

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

Definition at line 501 of file liblts_bisim_dnj.h.

◆ operator++()

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

Definition at line 499 of file liblts_bisim_dnj.h.

◆ operator--()

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

Definition at line 500 of file liblts_bisim_dnj.h.

◆ operator->()

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

Definition at line 505 of file liblts_bisim_dnj.h.

◆ operator=()

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

Friends And Related Symbol Documentation

◆ simple_list

template<class T >
friend class simple_list
friend

Definition at line 494 of file liblts_bisim_dnj.h.


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