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)

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)

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: