mCRL2
|
The nodes of the bucket list without carrying any additional informations. Used to make no different between the head and the tail of the list. More...
#include <bucket_list.h>
Public Member Functions | |
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) |
Protected Attributes | |
std::atomic< node_base * > | m_next = nullptr |
Pointer to the next node. | |
The nodes of the bucket list without carrying any additional informations. Used to make no different between the head and the tail of the list.
Definition at line 53 of file bucket_list.h.
|
default |
|
inlinenoexcept |
Definition at line 57 of file bucket_list.h.
|
inline |
Definition at line 73 of file bucket_list.h.
|
inlinenoexcept |
Definition at line 67 of file bucket_list.h.
|
inlinenoexcept |
Definition at line 64 of file bucket_list.h.
|
inlinenoexcept |
Set the next pointer to the given next pointer.
Definition at line 70 of file bucket_list.h.
|
protected |
Pointer to the next node.
Definition at line 77 of file bucket_list.h.