A dead engine (failed root) More...
Public Member Functions | |
Dead (const Options &o, const Statistics &stat0) | |
Initialize. More... | |
virtual Space * | next (void) |
Return next solution (NULL, if none exists or search has been stopped) More... | |
virtual Statistics | statistics (void) const |
Return statistics. More... | |
virtual bool | stopped (void) const |
Check whether engine has been stopped. More... | |
virtual | ~Dead (void) |
Delete. More... | |
![]() | |
virtual Space * | next (void)=0 |
Return next solution (NULL, if none exists or search has been stopped) More... | |
virtual Statistics | statistics (void) const =0 |
Return statistics. More... | |
virtual bool | stopped (void) const =0 |
Check whether engine has been stopped. More... | |
virtual void | constrain (const Space &b) |
Constrain future solutions to be better than b (raises exception) More... | |
virtual void | reset (Space *s) |
Reset engine to restart at space s (does nothing) More... | |
virtual NoGoods & | nogoods (void) |
Return no-goods (the no-goods are empty) More... | |
virtual | ~Engine (void) |
Destructor. More... | |
Protected Attributes | |
Tracer | tracer |
Search tracer. More... | |
Statistics | stat |
Statistics. More... | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s) |
Memory management. More... | |
static void | operator delete (void *p) |
Free memory allocated from heap. More... | |
A dead engine (failed root)
Gecode::Search::Seq::Dead< Tracer >::Dead | ( | const Options & | o, |
const Statistics & | stat0 | ||
) |
|
virtual |
|
virtual |
Return next solution (NULL, if none exists or search has been stopped)
Implements Gecode::Search::Engine.
|
virtual |
|
virtual |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
|
protected |
|
protected |