Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
Mutex Class Reference

Mutex class. More...

#include <Threading.hpp>

Collaboration diagram for Mutex:

Public Member Functions

 Mutex ()
 Constructor.
 
virtual ~Mutex ()
 Destructor.
 
void lock ()
 Lock the mutex.
 
void unlock ()
 Unlock the mutex.
 
bool tryLock ()
 Try to lock the mutex, return true if succes else false.
 

Protected Attributes

pthread_mutex_t mtx
 A pthread mutex.
 

Detailed Description

Mutex class.


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