Loading...
Searching...
No Matches
mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T > Struct Template Reference
#include <liblts_bisim_gj.h>
Inheritance diagram for mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T >:
Public Types | |
| typedef linked_list_const_iterator< T >::difference_type | difference_type |
| typedef linked_list_const_iterator< T >::value_type | value_type |
| typedef value_type * | pointer |
| typedef value_type & | reference |
| typedef linked_list_const_iterator< T >::iterator_category | iterator_category |
 Public Types inherited from mcrl2::lts::detail::bisimulation_gj::linked_list_const_iterator< T > | |
| typedef std::ptrdiff_t | difference_type |
| typedef linked_list_node< T > | value_type |
| typedef const value_type * | pointer |
| typedef const value_type & | reference |
| typedef std::forward_iterator_tag | iterator_category |
Public Member Functions | |
| linked_list_iterator ()=default | |
| linked_list_iterator (pointer t) | |
| linked_list_iterator & | operator++ () |
| linked_list_iterator | operator++ (int i) |
| reference | operator* () const |
| pointer | operator-> () const |
| Public Member Functions inherited from mcrl2::lts::detail::bisimulation_gj::linked_list_const_iterator< T > | |
| linked_list_const_iterator ()=default | |
| linked_list_const_iterator (pointer t) | |
| linked_list_const_iterator & | operator++ () |
| linked_list_const_iterator | operator++ (int) |
| reference | operator* () const |
| pointer | operator-> () const |
| bool | operator!= (const linked_list_const_iterator other) const |
| bool | operator== (const linked_list_const_iterator other) const |
Additional Inherited Members | |
| Protected Attributes inherited from mcrl2::lts::detail::bisimulation_gj::linked_list_const_iterator< T > | |
| value_type * | m_iterator =nullptr |
Detailed Description
template<class T>
struct mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T >
struct mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T >
Definition at line 185 of file liblts_bisim_gj.h.
Member Typedef Documentation
◆ difference_type
template<class T >
| typedef linked_list_const_iterator<T>::difference_type mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T >::difference_type |
Definition at line 189 of file liblts_bisim_gj.h.
◆ iterator_category
template<class T >
| typedef linked_list_const_iterator<T>::iterator_category mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T >::iterator_category |
Definition at line 194 of file liblts_bisim_gj.h.
◆ pointer
template<class T >
| typedef value_type* mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T >::pointer |
Definition at line 191 of file liblts_bisim_gj.h.
◆ reference
template<class T >
| typedef value_type& mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T >::reference |
Definition at line 192 of file liblts_bisim_gj.h.
◆ value_type
template<class T >
| typedef linked_list_const_iterator<T>::value_type mcrl2::lts::detail::bisimulation_gj::linked_list_iterator< T >::value_type |
Definition at line 190 of file liblts_bisim_gj.h.
Constructor & Destructor Documentation
◆ linked_list_iterator() [1/2]
template<class T >
|
default |
◆ linked_list_iterator() [2/2]
template<class T >
|
inline |
Definition at line 198 of file liblts_bisim_gj.h.
Member Function Documentation
◆ operator*()
template<class T >
|
inline |
Definition at line 226 of file liblts_bisim_gj.h.
◆ operator++() [1/2]
template<class T >
|
inline |
Definition at line 202 of file liblts_bisim_gj.h.
◆ operator++() [2/2]
template<class T >
|
inline |
Definition at line 208 of file liblts_bisim_gj.h.
◆ operator->()
template<class T >
|
inline |
Definition at line 231 of file liblts_bisim_gj.h.
The documentation for this struct was generated from the following file:
- lts/include/mcrl2/lts/detail/liblts_bisim_gj.h
