Gecode::Search::Seq::Dead< Tracer > Class Template Reference
A dead engine (failed root). More...
Public Member Functions | |
| Dead (const Options &o, const Statistics &stat0) | |
| Initialize. | |
| virtual Space * | next (void) |
| Return next solution (NULL, if none exists or search has been stopped). | |
| virtual Statistics | statistics (void) const |
| Return statistics. | |
| virtual bool | stopped (void) const |
| Check whether engine has been stopped. | |
| virtual | ~Dead (void) |
| Delete. | |
Protected Attributes | |
| Tracer | tracer |
| Search tracer. | |
| Statistics | stat |
| Statistics. | |
Detailed Description
template<class Tracer>
class Gecode::Search::Seq::Dead< Tracer >
A dead engine (failed root).
Definition at line 40 of file dead.cpp.
Constructor & Destructor Documentation
template<class Tracer >
| Gecode::Search::Seq::Dead< Tracer >::Dead | ( | const Options & | o, | |
| const Statistics & | stat0 | |||
| ) | [inline] |
template<class Tracer >
| Gecode::Search::Seq::Dead< Tracer >::~Dead | ( | void | ) | [inline, virtual] |
Member Function Documentation
template<class Tracer >
| Space * Gecode::Search::Seq::Dead< Tracer >::next | ( | void | ) | [inline, virtual] |
Return next solution (NULL, if none exists or search has been stopped).
Implements Gecode::Search::Engine.
template<class Tracer >
| Statistics Gecode::Search::Seq::Dead< Tracer >::statistics | ( | void | ) | const [inline, virtual] |
template<class Tracer >
| bool Gecode::Search::Seq::Dead< Tracer >::stopped | ( | void | ) | const [inline, virtual] |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
Member Data Documentation
template<class Tracer>
Tracer Gecode::Search::Seq::Dead< Tracer >::tracer [protected] |
template<class Tracer>
Statistics Gecode::Search::Seq::Dead< Tracer >::stat [protected] |
The documentation for this class was generated from the following file:
- gecode/search/seq/dead.cpp