mCRL2
|
Iterator over all keys in a bucket list. More...
#include <free_list.h>
Classes | |
struct | Sentinel |
Public Member Functions | |
slot_iterator (slot_pointer slot) | |
slot_iterator (Freelist &list) | |
slot_iterator () | |
slot_iterator & | operator++ () |
template<bool Constant_ = Constant> | |
std::enable_if<!Constant_, reference >::type | operator* () |
template<bool Constant_ = Constant> | |
std::enable_if< Constant_, reference >::type | operator* () const |
bool | operator!= (const slot_iterator &it) const noexcept |
bool | operator!= (Sentinel) const noexcept |
slot_pointer | get_slot () |
Static Public Attributes | |
static constexpr Sentinel | EndIterator {} |
A end of the iterator sentinel. | |
Private Types | |
using | tag = std::input_iterator_tag |
using | Freelist = typename std::conditional< Constant, const free_list< Element >, free_list< Element > >::type |
using | reference = typename std::conditional< Constant, const Element &, Element & >::type |
using | slot_pointer = typename std::conditional< Constant, const slot *, slot * >::type |
Private Attributes | |
slot_pointer | m_slot |
Friends | |
class | free_list< Element > |
Iterator over all keys in a bucket list.
Definition at line 76 of file free_list.h.
|
private |
Definition at line 83 of file free_list.h.
|
private |
Definition at line 84 of file free_list.h.
|
private |
Definition at line 85 of file free_list.h.
|
private |
Definition at line 80 of file free_list.h.
|
inline |
Definition at line 91 of file free_list.h.
|
inline |
Definition at line 95 of file free_list.h.
|
inline |
Definition at line 99 of file free_list.h.
|
inline |
Definition at line 131 of file free_list.h.
|
inlinenoexcept |
Definition at line 121 of file free_list.h.
|
inlinenoexcept |
Definition at line 126 of file free_list.h.
|
inline |
Definition at line 110 of file free_list.h.
|
inline |
Definition at line 116 of file free_list.h.
|
inline |
Definition at line 103 of file free_list.h.
Definition at line 71 of file free_list.h.
|
staticconstexpr |
A end of the iterator sentinel.
Definition at line 89 of file free_list.h.
|
private |
Definition at line 137 of file free_list.h.