mCRL2
|
constant iterator class for simple_list More...
#include <simple_list.h>
Public Types | |
typedef T | value_type |
typedef T * | pointer |
typedef T & | reference |
typedef std::ptrdiff_t | difference_type |
typedef std::forward_iterator_tag | iterator_category |
Public Member Functions | |
const_iterator ()=default | |
const_iterator (const const_iterator &other)=default | |
const_iterator & | operator= (const const_iterator &other)=default |
const_iterator & | operator++ () |
const_iterator & | operator-- () |
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 entry *const new_ptr) | |
Protected Attributes | |
entry * | ptr |
Friends | |
class | simple_list |
constant iterator class for simple_list
Definition at line 340 of file simple_list.h.
typedef std::ptrdiff_t mcrl2::lts::detail::simple_list< T >::const_iterator::difference_type |
Definition at line 346 of file simple_list.h.
typedef std::forward_iterator_tag mcrl2::lts::detail::simple_list< T >::const_iterator::iterator_category |
Definition at line 347 of file simple_list.h.
typedef T* mcrl2::lts::detail::simple_list< T >::const_iterator::pointer |
Definition at line 344 of file simple_list.h.
typedef T& mcrl2::lts::detail::simple_list< T >::const_iterator::reference |
Definition at line 345 of file simple_list.h.
typedef T mcrl2::lts::detail::simple_list< T >::const_iterator::value_type |
Definition at line 343 of file simple_list.h.
|
inlineprotected |
Definition at line 351 of file simple_list.h.
|
default |
|
default |
|
inline |
Definition at line 382 of file simple_list.h.
|
inline |
Definition at line 370 of file simple_list.h.
|
inline |
Definition at line 360 of file simple_list.h.
|
inline |
Definition at line 365 of file simple_list.h.
|
inline |
Definition at line 374 of file simple_list.h.
|
default |
|
inline |
Definition at line 378 of file simple_list.h.
|
friend |
Definition at line 355 of file simple_list.h.
|
protected |
Definition at line 349 of file simple_list.h.