38 #ifdef GECODE_HAS_THREADS 42 namespace Gecode {
namespace Search {
46 #ifdef GECODE_HAS_THREADS
Engine * dfsengine(Space *s, const Options &o)
Create depth-first engine.
Options expand(void) const
Expand with real number of threads.
double threads
Number of threads to use.
SearchTracer * tracer
Tracer object for tracing search.
Parallel depth-first search engine
Gecode toplevel namespace
Virtualize a worker to an engine.