|
| LDS (Space *s, const Options &o) |
| Initialize for space s with options o.
|
|
virtual Space * | next (void) |
| Return next solution (NULL, if none exists or search has been stopped)
|
|
virtual 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.
|
|
virtual bool | stopped (void) const |
| Check whether engine has been stopped.
|
|
virtual | ~LDS (void) |
| Destructor.
|
|
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::LDS< Tracer >
Limited discrepancy search engine implementation.
Definition at line 105 of file lds.hh.