|
| 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.
|
|
virtual Space * | next (void)=0 |
| Return next solution (NULL, if none exists or search has been stopped)
|
|
virtual Statistics | statistics (void) const =0 |
| Return statistics.
|
|
virtual bool | stopped (void) const =0 |
| Check whether engine has been stopped.
|
|
virtual void | constrain (const Space &b) |
| Constrain future solutions to be better than b (raises exception)
|
|
virtual void | reset (Space *s) |
| Reset engine to restart at space s (does nothing)
|
|
virtual NoGoods & | nogoods (void) |
| Return no-goods (the no-goods are empty)
|
|
virtual | ~Engine (void) |
| Destructor.
|
|
template<class
Tracer>
class Gecode::Search::Seq::Dead< Tracer >
A dead engine (failed root)
Definition at line 40 of file dead.cpp.