mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::shared_guard Member List

This is the complete list of members for mcrl2::utilities::shared_guard, including all inherited members.

is_lockedmcrl2::utilities::shared_guardprivate
lock_shared()mcrl2::utilities::shared_guardinline
m_mutexmcrl2::utilities::shared_guardprivate
noncopyable()=defaultmcrl2::utilities::noncopyableprivate
noncopyable(const noncopyable &)=deletemcrl2::utilities::noncopyableprivate
operator=(const noncopyable &)=deletemcrl2::utilities::noncopyableprivate
shared_guard(shared_mutex &mutex)mcrl2::utilities::shared_guardinlineprivate
shared_mutexmcrl2::utilities::shared_guardfriend
unlock_shared()mcrl2::utilities::shared_guardinline
~shared_guard()mcrl2::utilities::shared_guardinline