36#ifdef GECODE_THREADS_PTHREADS
54 if (pthread_create(&p_t, NULL,
bootstrap,
this) != 0)
Exception: operating system error
void release(void)
Release the mutex.
void acquire(void)
Acquire the mutex and possibly block.
Run(Runnable *r)
Create a new thread.
Mutex m
Mutex for synchronization.
Support algorithms and datastructures
void * bootstrap(void *p)
Function to start execution.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r