CppClingo::Control::unlock_guard< M > Class Template Reference

RAII helper to unlock a mutex. More...

#include <solver.hh>

Public Member Functions
	unlock_guard (M &mut)
	Constructor unlocking the mutex.
	unlock_guard (const unlock_guard &)=delete
	Destructor re-locking the mutex.
auto	operator= (const unlock_guard &) -> unlock_guard &=delete

Detailed Description

template<class M>
class CppClingo::Control::unlock_guard< M >

RAII helper to unlock a mutex.

---

The documentation for this class was generated from the following file:

• clingo/control/solver.hh