mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::shared_mutex_data Struct Reference

#include <shared_mutex.h>

Public Member Functions

void register_mutex (shared_mutex *shared_mutex)
 Adds a shared mutex to the data.
 
void unregister_mutex (shared_mutex *shared_mutex)
 

Public Attributes

std::vector< shared_mutex * > other
 The list of other mutexes.
 
std::mutex mutex
 Mutex for adding/removing shared_guards.
 

Detailed Description

Definition at line 88 of file shared_mutex.h.

Member Function Documentation

◆ register_mutex()

void mcrl2::utilities::shared_mutex_data::register_mutex ( shared_mutex shared_mutex)
inline

Adds a shared mutex to the data.

Definition at line 98 of file shared_mutex.h.

◆ unregister_mutex()

void mcrl2::utilities::shared_mutex_data::unregister_mutex ( shared_mutex shared_mutex)
inline

Definition at line 105 of file shared_mutex.h.

Member Data Documentation

◆ mutex

std::mutex mcrl2::utilities::shared_mutex_data::mutex

Mutex for adding/removing shared_guards.

Definition at line 94 of file shared_mutex.h.

◆ other

std::vector<shared_mutex*> mcrl2::utilities::shared_mutex_data::other

The list of other mutexes.

Definition at line 91 of file shared_mutex.h.


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