Limited discrepancy search engine implementation. More...
#include <lds.hh>
Public Member Functions | |
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. | |
Public Member Functions inherited from Gecode::Search::Engine | |
virtual NoGoods & | nogoods (void) |
Return no-goods (the no-goods are empty) | |
virtual | ~Engine (void) |
Destructor. |
Protected Attributes | |
Options | opt |
Search options. | |
Probe< Tracer > | e |
The probe engine. | |
Space * | root |
Root node for problem. | |
unsigned int | d |
Current discrepancy. | |
bool | no_solution |
Solution found for current discrepancy. |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
static void * | operator new (size_t s) |
Memory management. | |
static void | operator delete (void *p) |
Free memory allocated from heap. |
Limited discrepancy search engine implementation.
|
inline |
|
virtual |
|
virtual |
Return next solution (NULL, if none exists or search has been stopped)
Implements Gecode::Search::Engine.
|
virtual |
|
inlinevirtual |
Constrain future solutions to be better than b (should never be called)
Reimplemented from Gecode::Search::Engine.
|
inlinevirtual |
Reset engine to restart at space s.
Reimplemented from Gecode::Search::Engine.
|
virtual |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |