Simple thread and synchronization support
Common functionality » Support algorithms and datastructures

## Classes

class | Gecode::Support::Mutex
| A mutex for mutual exclausion among several threads. More...
class | Gecode::Support::Lock
| A lock as a scoped frontend for a mutex. More...
class | Gecode::Support::Event
| An event for synchronization. More...
class | Gecode::Support::Terminator
| An interface for objects that can be called after a thread has terminated (after running the thread's destructor). More...
class | Gecode::Support::Runnable
| An interface for objects that can be run by a thread. More...
class | Gecode::Support::Thread
| Simple threads. More...

## Detailed Description

This is very simplistic, just enough for parallel search engines. Do not mistake it for a full-fledged thread package.

If the platform supports threads, the macro GECODE_HAS_THREADS is defined. If threads are not supported, all classes are still available, but are noops with the exception of trying to create a new thread which will throw an exception.