A mutex for mutual exclausion among several threads.
void release(void)
Release the mutex.
void acquire(void)
Acquire the mutex and possibly block.
An interface for objects that can be run by a thread.
An interface for objects that can be called after a thread has terminated (after running the thread's...
virtual void terminated(void)=0
The function that is called when the thread has terminated.
void exec(void)
Infinite loop for execution.
Event e
Event to wait for next runnable object to execute.
Runnable * r
Runnable object to execute.
Mutex m
Mutex for synchronization.
static Run * idle
Idle runners.
static Mutex * m(void)
Mutex for synchronization.
Support algorithms and datastructures
Gecode toplevel namespace
#define GECODE_ASSUME(p)
Assert certain property.