Gecode::Search::Parallel::DFS Class Reference
Parallel depth-first search engine
More...
#include <dfs.hh>
List of all members.
Classes |
| class | Worker |
| | Parallel depth-first search worker More...
|
Public Member Functions |
| Worker * | worker (unsigned int i) const |
| | Provide access to worker i.
|
Protected Attributes |
| Worker ** | _worker |
| | Array of worker references.
|
Search control |
|
| void | solution (Space *s) |
| | Report solution s.
|
Engine interface |
|
| | DFS (Space *s, const Options &o) |
| | Initialize for space s with options o.
|
| virtual Statistics | statistics (void) const |
| | Return statistics.
|
| virtual void | reset (Space *s) |
| | Reset engine to restart at space s.
|
| virtual NoGoods & | nogoods (void) |
| | Return no-goods.
|
| virtual | ~DFS (void) |
| | Destructor.
|
Detailed Description
Parallel depth-first search engine
Definition at line 46 of file dfs.hh.
Constructor & Destructor Documentation
| Gecode::Search::Parallel::DFS::DFS |
( |
Space * |
s, |
|
|
const Options & |
o | |
|
) |
| | [inline] |
Initialize for space s with options o.
Definition at line 110 of file dfs.hh.
| Gecode::Search::Parallel::DFS::~DFS |
( |
void |
|
) |
[virtual] |
Destructor.
Definition at line 230 of file dfs.cpp.
Member Function Documentation
| DFS::Worker * Gecode::Search::Parallel::DFS::worker |
( |
unsigned int |
i |
) |
const [inline] |
Provide access to worker i.
Definition at line 98 of file dfs.hh.
| void Gecode::Search::Parallel::DFS::solution |
( |
Space * |
s |
) |
[inline] |
Report solution s.
Definition at line 150 of file dfs.hh.
| Statistics Gecode::Search::Parallel::DFS::statistics |
( |
void |
|
) |
const [virtual] |
| void Gecode::Search::Parallel::DFS::reset |
( |
Space * |
s |
) |
[virtual] |
| NoGoods & Gecode::Search::Parallel::DFS::nogoods |
( |
void |
|
) |
[virtual] |
Member Data Documentation
Array of worker references.
Definition at line 63 of file dfs.hh.
The documentation for this class was generated from the following files:
