Simple thread and synchronization support
[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.