mCRL2
|
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 |
This is simply an exclusive lock based on the standard library with the ability to perform no locks when thread safety is not desired.