mCRL2
|
This is the complete list of members for mcrl2::utilities::lock_guard, including all inherited members.
is_locked | mcrl2::utilities::lock_guard | private |
lock_guard(shared_mutex &mutex) | mcrl2::utilities::lock_guard | inlineprivate |
m_mutex | mcrl2::utilities::lock_guard | private |
noncopyable()=default | mcrl2::utilities::noncopyable | private |
noncopyable(const noncopyable &)=delete | mcrl2::utilities::noncopyable | private |
operator=(const noncopyable &)=delete | mcrl2::utilities::noncopyable | private |
shared_mutex | mcrl2::utilities::lock_guard | friend |
unlock() | mcrl2::utilities::lock_guard | inline |
~lock_guard() | mcrl2::utilities::lock_guard | inline |