mCRL2
|
class that stores either an iterator or a null value 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 |
![]() | |
typedef T | value_type |
typedef T * | pointer |
typedef T & | reference |
typedef std::ptrdiff_t | difference_type |
typedef std::forward_iterator_tag | iterator_category |
![]() | |
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 | |
iterator_or_null () | |
iterator_or_null (std::nullptr_t) | |
iterator_or_null (const iterator &other) | |
bool | is_null () const |
bool | operator== (const T *const other) const |
bool | operator!= (const T *const other) const |
void | operator= (std::nullptr_t) |
T & | operator* () const |
bool | operator== (const const_iterator &other) const |
bool | operator!= (const const_iterator &other) const |
![]() | |
iterator ()=default | |
iterator (const iterator &other)=default | |
iterator & | operator= (const iterator &other)=default |
iterator & | operator++ () |
iterator & | operator-- () |
T & | operator* () const |
T * | operator-> () const |
bool | operator== (const const_iterator &other) const |
bool | operator!= (const const_iterator &other) const |
![]() | |
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 |
Additional Inherited Members | |
![]() | |
iterator (entry *const new_ptr) | |
![]() | |
const_iterator (const entry *const new_ptr) | |
![]() | |
entry * | ptr |
class that stores either an iterator or a null value
We cannot use C++14's `‘null forward iterators’', as they are not guaranteed to compare unequal to valid iterators. We also need to compare null iterators with non-null ones.
Definition at line 429 of file simple_list.h.
typedef std::ptrdiff_t mcrl2::lts::detail::simple_list< T >::const_iterator::difference_type |
Definition at line 395 of file simple_list.h.
typedef std::forward_iterator_tag mcrl2::lts::detail::simple_list< T >::const_iterator::iterator_category |
Definition at line 396 of file simple_list.h.
typedef T* mcrl2::lts::detail::simple_list< T >::const_iterator::pointer |
Definition at line 393 of file simple_list.h.
typedef T& mcrl2::lts::detail::simple_list< T >::const_iterator::reference |
Definition at line 394 of file simple_list.h.
typedef T mcrl2::lts::detail::simple_list< T >::const_iterator::value_type |
Definition at line 392 of file simple_list.h.
|
inline |
Definition at line 442 of file simple_list.h.
|
inline |
Definition at line 444 of file simple_list.h.
|
inline |
Definition at line 449 of file simple_list.h.
|
inline |
Definition at line 451 of file simple_list.h.
|
inline |
Definition at line 398 of file simple_list.h.
|
inline |
Definition at line 459 of file simple_list.h.
|
inline |
Definition at line 414 of file simple_list.h.
|
inline |
Definition at line 464 of file simple_list.h.
|
inline |
Definition at line 397 of file simple_list.h.
|
inline |
Definition at line 453 of file simple_list.h.