A shared lock guard for the shared_mutex.
More...
#include <shared_mutex.h>
A shared lock guard for the shared_mutex.
Definition at line 31 of file shared_mutex.h.
◆ ~shared_guard()
mcrl2::utilities::shared_guard::~shared_guard |
( |
| ) |
|
|
inline |
◆ shared_guard()
mcrl2::utilities::shared_guard::shared_guard |
( |
shared_mutex & |
mutex | ) |
|
|
inlineprivate |
◆ lock_shared()
void mcrl2::utilities::shared_guard::lock_shared |
( |
| ) |
|
|
inline |
◆ unlock_shared()
void mcrl2::utilities::shared_guard::unlock_shared |
( |
| ) |
|
|
inline |
Unlocks the acquired shared guard explicitly. Otherwise, performed in destructor.
Definition at line 325 of file shared_mutex.h.
◆ shared_mutex
◆ is_locked
bool mcrl2::utilities::shared_guard::is_locked = true |
|
private |
◆ m_mutex
The documentation for this class was generated from the following file: