mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::embedded_list< TYPE >::iterator Class Reference

#include <embedded_list.h>

Public Member Functions

 iterator (TYPE *p)
 
iterator operator++ ()
 
iterator operator++ (int)
 
TYPE & operator* ()
 
TYPE * operator-> ()
 
bool operator== (const iterator &other) const
 
bool operator!= (const iterator &other) const
 

Protected Attributes

TYPE * m_ptr
 

Detailed Description

template<class TYPE>
class mcrl2::lts::detail::embedded_list< TYPE >::iterator

Definition at line 239 of file embedded_list.h.

Constructor & Destructor Documentation

◆ iterator()

template<class TYPE >
mcrl2::lts::detail::embedded_list< TYPE >::iterator::iterator ( TYPE *  p)
inline

Definition at line 246 of file embedded_list.h.

Member Function Documentation

◆ operator!=()

template<class TYPE >
bool mcrl2::lts::detail::embedded_list< TYPE >::iterator::operator!= ( const iterator other) const
inline

Definition at line 283 of file embedded_list.h.

◆ operator*()

template<class TYPE >
TYPE & mcrl2::lts::detail::embedded_list< TYPE >::iterator::operator* ( )
inline

Definition at line 266 of file embedded_list.h.

◆ operator++() [1/2]

template<class TYPE >
iterator mcrl2::lts::detail::embedded_list< TYPE >::iterator::operator++ ( )
inline

Definition at line 251 of file embedded_list.h.

◆ operator++() [2/2]

template<class TYPE >
iterator mcrl2::lts::detail::embedded_list< TYPE >::iterator::operator++ ( int  )
inline

Definition at line 259 of file embedded_list.h.

◆ operator->()

template<class TYPE >
TYPE * mcrl2::lts::detail::embedded_list< TYPE >::iterator::operator-> ( )
inline

Definition at line 272 of file embedded_list.h.

◆ operator==()

template<class TYPE >
bool mcrl2::lts::detail::embedded_list< TYPE >::iterator::operator== ( const iterator other) const
inline

Definition at line 278 of file embedded_list.h.

Member Data Documentation

◆ m_ptr

template<class TYPE >
TYPE* mcrl2::lts::detail::embedded_list< TYPE >::iterator::m_ptr
protected

Definition at line 242 of file embedded_list.h.


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