mCRL2
|
The nodes of the bucket list. More...
#include <bucket_list.h>
Public Member Functions | |
template<typename ... Args> | |
node (Args &&... args) | |
Constructs a key by using the given arguments. | |
Key & | key () noexcept |
const Key & | key () const noexcept |
operator Key & () | |
![]() | |
node_base ()=default | |
node_base (node_base &&other) noexcept | |
node_base * | next () const noexcept |
bool | has_next () const noexcept |
void | set_next (node_base *next) noexcept |
Set the next pointer to the given next pointer. | |
bool | exchange (node_base *&expected, node_base *value) |
Private Attributes | |
Key | m_key |
Store the actual key. | |
Additional Inherited Members | |
![]() | |
std::atomic< node_base * > | m_next = nullptr |
Pointer to the next node. | |
The nodes of the bucket list.
Definition at line 81 of file bucket_list.h.
|
inlineexplicit |
Constructs a key by using the given arguments.
Definition at line 87 of file bucket_list.h.
|
inlinenoexcept |
Definition at line 93 of file bucket_list.h.
|
inlinenoexcept |
Definition at line 92 of file bucket_list.h.
|
inline |
Definition at line 96 of file bucket_list.h.
|
private |
Store the actual key.
Definition at line 99 of file bucket_list.h.