34 #ifndef __GECODE_SEARCH_PAR_DFS_HH__
35 #define __GECODE_SEARCH_PAR_DFS_HH__
39 namespace Gecode {
namespace Search {
namespace Par {
42 template<
class Tracer>
84 virtual void run(
void);
No-goods recorded from restarts.
Parallel depth-first search worker
void find(void)
Try to find some work.
DFS & engine(void) const
Provide access to engine.
virtual void run(void)
Start execution of worker.
Parallel depth-first search engine
virtual Statistics statistics(void) const
Return statistics.
void solution(Space *s)
Report solution s.
virtual void reset(Space *s)
Reset engine to restart at space s.
DFS(Space *s, const Options &o)
Initialize for space s with options o.
Worker * worker(unsigned int i) const
Provide access to worker i.
Worker ** _worker
Array of worker references.
virtual NoGoods & nogoods(void)
Return no-goods.
virtual ~DFS(void)
Destructor.
Parallel depth-first search engine
Gecode::IntArgs i({1, 2, 3, 4})