40 namespace Gecode {
namespace Support {
An interface for objects that can be run by a thread.
void acquire(void)
Acquire the mutex and possibly block.
A mutex for mutual exclausion among several threads.
void release(void)
Release the mutex.
int n
Number of negative literals for node type.
virtual void run(void)=0
The function that is executed when the thread starts.
virtual Terminator * terminator(void) const
Return terminator object.
void exec(void)
Infinite loop for execution.
virtual void terminated(void)=0
The function that is called when the thread has terminated.
static Run * idle
Idle runners.
Post propagator for SetVar SetOpType SetVar SetRelType r
static Mutex * m(void)
Mutex for synchronization.
An interface for objects that can be called after a thread has terminated (after running the thread's...
Gecode toplevel namespace
void todelete(bool d)
Set whether to delete upon termination.