Gecode::Search::Seq::DFS< Tracer > Class Template Reference
Depth-first search engine implementation. More...
#include <dfs.hh>
Public Member Functions | |
| DFS (Space *s, const Options &o) | |
| Initialize for space s with options o. | |
| Space * | next (void) |
| Search for next solution | |
| Statistics | statistics (void) const |
| Return statistics. | |
| void | constrain (const Space &b) |
| Constrain future solutions to be better than b (should never be called). | |
| void | reset (Space *s) |
| Reset engine to restart at space s. | |
| NoGoods & | nogoods (void) |
| Return no-goods. | |
| ~DFS (void) | |
| Destructor. | |
Detailed Description
template<class Tracer>
class Gecode::Search::Seq::DFS< Tracer >
Depth-first search engine implementation.
Definition at line 46 of file dfs.hh.
Constructor & Destructor Documentation
template<class Tracer >
| Gecode::Search::Seq::DFS< Tracer >::DFS | ( | Space * | s, | |
| const Options & | o | |||
| ) | [inline] |
template<class Tracer >
| Gecode::Search::Seq::DFS< Tracer >::~DFS | ( | void | ) | [inline] |
Member Function Documentation
template<class Tracer >
| Space * Gecode::Search::Seq::DFS< Tracer >::next | ( | void | ) | [inline] |
template<class Tracer >
| Statistics Gecode::Search::Seq::DFS< Tracer >::statistics | ( | void | ) | const [inline] |
template<class Tracer >
| void Gecode::Search::Seq::DFS< Tracer >::constrain | ( | const Space & | b | ) | [inline] |
template<class Tracer >
| void Gecode::Search::Seq::DFS< Tracer >::reset | ( | Space * | s | ) | [inline] |
template<class Tracer >
| NoGoods & Gecode::Search::Seq::DFS< Tracer >::nogoods | ( | void | ) | [inline] |
The documentation for this class was generated from the following files: