43 namespace Gecode {
namespace Search {
namespace Sequential {
63 }
else if (
root != NULL) {
Space * root
Root node for problem.
Space * next(const Options &o)
Search for next solution
unsigned int d
Current discrepancy.
Space * clone(bool share_data=true, bool share_info=true, CloneStatistics &stat=unused_clone) const
Clone space.
bool stopped(void) const
Check whether engine has been stopped.
unsigned int d_l
Discrepancy limit (for LDS)
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)
void reset(Space *s, unsigned int d)
Reset with space s and discrepancy d.
Statistics statistics(void) const
Return statistics.
Options opt
Search options.
Gecode toplevel namespace
virtual Statistics statistics(void) const
Return statistics.
virtual bool stopped(void) const
Check whether engine has been stopped.
virtual ~LDS(void)
Destructor.
bool done(void) const
Test whether probing is done.