mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::mutex Class Reference

This is simply an exclusive lock based on the standard library with the ability to perform no locks when thread safety is not desired. More...

#include <mutex.h>

Public Member Functions

void lock ()
 
void unlock ()
 

Private Attributes

std::mutex m_mutex
 

Detailed Description

This is simply an exclusive lock based on the standard library with the ability to perform no locks when thread safety is not desired.

Definition at line 22 of file mutex.h.

Member Function Documentation

◆ lock()

void mcrl2::utilities::mutex::lock ( )
inline

Definition at line 25 of file mutex.h.

◆ unlock()

void mcrl2::utilities::mutex::unlock ( )
inline

Definition at line 31 of file mutex.h.

Member Data Documentation

◆ m_mutex

std::mutex mcrl2::utilities::mutex::m_mutex
private

Definition at line 39 of file mutex.h.


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