Parallel depth-first search engine More...
#include <dfs.hh>
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. |
Gecode::Search::Parallel::DFS::DFS | ( | Space * | s, |
const Options & | o | ||
) | [inline] |
Gecode::Search::Parallel::DFS::~DFS | ( | void | ) | [virtual] |
DFS::Worker * Gecode::Search::Parallel::DFS::worker | ( | unsigned int | i | ) | const [inline] |
void Gecode::Search::Parallel::DFS::solution | ( | Space * | s | ) | [inline] |
Statistics Gecode::Search::Parallel::DFS::statistics | ( | void | ) | const [virtual] |
void Gecode::Search::Parallel::DFS::reset | ( | Space * | s | ) | [virtual] |
Reset engine to restart at space s.
Implements Gecode::Search::Engine.
NoGoods & Gecode::Search::Parallel::DFS::nogoods | ( | void | ) | [virtual] |
Worker** Gecode::Search::Parallel::DFS::_worker [protected] |