Exception: operating system error
void wait(void)
Wait until the event becomes signalled.
Event(void)
Initialize event.
~Event(void)
Delete event.
void signal(void)
Signal the event.
Mutex(void)
Initialize mutex.
~Mutex(void)
Delete mutex.
void release(void)
Release the mutex.
bool tryacquire(void)
Try to acquire the mutex, return true if succesful.
void acquire(void)
Acquire the mutex and possibly block.
An interface for objects that can be run by a thread.
Run(Runnable *r)
Create a new thread.
static void sleep(unsigned int ms)
Put current thread to sleep for ms milliseconds.
static unsigned int npu(void)
Return number of processing units (1 if information not available)
Support algorithms and datastructures
Gecode toplevel namespace