mCRL2
|
Iterator over all keys in a bucket list. More...
#include <bucket_list.h>
Public Types | |
using | value_type = typename std::conditional< Constant, const Key, Key >::type |
using | reference = typename std::conditional< Constant, const Key &, Key & >::type |
using | pointer = typename std::conditional< Constant, const Key *, Key * >::type |
using | difference_type = std::ptrdiff_t |
using | iterator_category = std::forward_iterator_tag |
Public Member Functions | |
key_iterator () | |
Default constructor. | |
operator key_iterator () const | |
Implicit conversion to const_iterator. | |
key_iterator & | operator++ () |
reference | operator* () const |
pointer | operator-> () const |
bool | operator== (const key_iterator &it) const noexcept |
bool | operator!= (const key_iterator &it) const noexcept |
bool | operator== (Sentinel) const noexcept |
bool | operator!= (Sentinel) const noexcept |
Private Member Functions | |
key_iterator (node_base *current) | |
node * | get_node () noexcept |
const node * | get_node () const noexcept |
Private Attributes | |
node * | m_current_node = nullptr |
Friends | |
class | bucket_list |
Iterator over all keys in a bucket list.
Definition at line 104 of file bucket_list.h.
using mcrl2::utilities::detail::bucket_list< Key, Allocator >::key_iterator< Constant >::difference_type = std::ptrdiff_t |
Definition at line 112 of file bucket_list.h.
using mcrl2::utilities::detail::bucket_list< Key, Allocator >::key_iterator< Constant >::iterator_category = std::forward_iterator_tag |
Definition at line 113 of file bucket_list.h.
using mcrl2::utilities::detail::bucket_list< Key, Allocator >::key_iterator< Constant >::pointer = typename std::conditional<Constant, const Key*, Key*>::type |
Definition at line 111 of file bucket_list.h.
using mcrl2::utilities::detail::bucket_list< Key, Allocator >::key_iterator< Constant >::reference = typename std::conditional<Constant, const Key&, Key&>::type |
Definition at line 110 of file bucket_list.h.
using mcrl2::utilities::detail::bucket_list< Key, Allocator >::key_iterator< Constant >::value_type = typename std::conditional<Constant, const Key, Key>::type |
Definition at line 109 of file bucket_list.h.
|
inline |
Default constructor.
Definition at line 116 of file bucket_list.h.
|
inlineexplicitprivate |
Definition at line 161 of file bucket_list.h.
|
inlineprivatenoexcept |
Definition at line 170 of file bucket_list.h.
|
inlineprivatenoexcept |
Definition at line 165 of file bucket_list.h.
|
inline |
Implicit conversion to const_iterator.
Definition at line 119 of file bucket_list.h.
|
inlinenoexcept |
Definition at line 145 of file bucket_list.h.
|
inlinenoexcept |
Definition at line 155 of file bucket_list.h.
|
inline |
Definition at line 130 of file bucket_list.h.
|
inline |
Definition at line 124 of file bucket_list.h.
|
inline |
Definition at line 135 of file bucket_list.h.
|
inlinenoexcept |
Definition at line 140 of file bucket_list.h.
|
inlinenoexcept |
Definition at line 150 of file bucket_list.h.
|
friend |
Definition at line 106 of file bucket_list.h.
|
private |
Definition at line 175 of file bucket_list.h.