Fawkes API
Fawkes Development Version
|
Helper class to incorporate bool into mutex locker with RAII. More...
Public Member Functions | |
BoolMutexLocker (Mutex *mutex, bool &associated_bool) | |
Constructor. More... | |
~BoolMutexLocker (void) | |
Destructor. More... | |
void | unlock (void) |
Unlock mutex. More... | |
void | relock (void) |
Relock mutex after unlock. More... | |
Helper class to incorporate bool into mutex locker with RAII.
Definition at line 41 of file clingo_access.cpp.
|
inline |
Constructor.
mutex | mutex to lock |
associated_bool | associated bool value |
Definition at line 54 of file clingo_access.cpp.
|
inline |
|
inline |
Relock mutex after unlock.
Definition at line 85 of file clingo_access.cpp.
References fawkes::ClingoAccess::ASP_DBG_ALL_MODEL_SYMBOLS, fawkes::ClingoAccess::ASP_DBG_MODELS, fawkes::ClingoAccess::ASP_DBG_TIME, and fawkes::Logger::log_info().
Referenced by BoolMutexLocker().
|
inline |