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);
Statistics statistics(void)
Return statistics.
void solution(Space *s)
Report solution s.
DFS & engine(void) const
Provide access to engine.
Parallel depth-first search engine
Gecode::IntArgs i({1, 2, 3, 4})
Parallel depth-first search worker
Parallel depth-first search engine
Worker ** _worker
Array of worker references.
virtual void run(void)
Start execution of worker.
virtual ~DFS(void)
Destructor.
No-goods recorded from restarts.
void find(void)
Try to find some work.
NoGoods & nogoods(void)
Return no-goods.
Gecode toplevel namespace
DFS(Space *s, const Options &o)
Initialize for space s with options o.
Worker * worker(unsigned int i) const
Provide access to worker i.