Simple thread and synchronization support
[Support algorithms and datastructures]

Classes
class	Gecode::Support::Runnable
	An interface for objects that can be run by a thread. More...
class	Gecode::Support::Thread
	Simple threads. More...
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...

---

Detailed Description

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

Requires

 #include <gecode/support/thread.hh> 

If the platform supports threads, the macro GECODE_HAS_THREADS is defined.