mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::detail::bucket_list< Key, Allocator >::node Class Referencefinal

The nodes of the bucket list. More...

#include <bucket_list.h>

Inheritance diagram for mcrl2::utilities::detail::bucket_list< Key, Allocator >::node:
mcrl2::utilities::detail::bucket_list< Key, Allocator >::node_base

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 & ()
 
- Public Member Functions inherited from mcrl2::utilities::detail::bucket_list< Key, Allocator >::node_base
 node_base ()=default
 
 node_base (node_base &&other) noexcept
 
node_basenext () 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

- Protected Attributes inherited from mcrl2::utilities::detail::bucket_list< Key, Allocator >::node_base
std::atomic< node_base * > m_next = nullptr
 Pointer to the next node.
 

Detailed Description

template<typename Key, typename Allocator>
class mcrl2::utilities::detail::bucket_list< Key, Allocator >::node

The nodes of the bucket list.

Definition at line 81 of file bucket_list.h.

Constructor & Destructor Documentation

◆ node()

template<typename Key , typename Allocator >
template<typename ... Args>
mcrl2::utilities::detail::bucket_list< Key, Allocator >::node::node ( Args &&...  args)
inlineexplicit

Constructs a key by using the given arguments.

Definition at line 87 of file bucket_list.h.

Member Function Documentation

◆ key() [1/2]

template<typename Key , typename Allocator >
const Key & mcrl2::utilities::detail::bucket_list< Key, Allocator >::node::key ( ) const
inlinenoexcept

Definition at line 93 of file bucket_list.h.

◆ key() [2/2]

template<typename Key , typename Allocator >
Key & mcrl2::utilities::detail::bucket_list< Key, Allocator >::node::key ( )
inlinenoexcept
Returns
A reference to the key stored in this node.

Definition at line 92 of file bucket_list.h.

◆ operator Key &()

template<typename Key , typename Allocator >
mcrl2::utilities::detail::bucket_list< Key, Allocator >::node::operator Key & ( )
inline
Returns
An implicit conversion to the underlying key.

Definition at line 96 of file bucket_list.h.

Member Data Documentation

◆ m_key

template<typename Key , typename Allocator >
Key mcrl2::utilities::detail::bucket_list< Key, Allocator >::node::m_key
private

Store the actual key.

Definition at line 99 of file bucket_list.h.


The documentation for this class was generated from the following file: