Gecode::Search::Sequential::LDS Class Reference
Limited discrepancy search engine implementation.
More...
#include <lds.hh>
List of all members.
Public Member Functions |
| LDS (Space *s, size_t sz, const Options &o) |
| Initialize for space s (of size sz) 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.
|
virtual bool | stopped (void) const |
| Check whether engine has been stopped.
|
virtual | ~LDS (void) |
| Destructor.
|
Protected Attributes |
Options | opt |
| Search options.
|
Probe | e |
| The probe engine.
|
Space * | root |
| Root node for problem.
|
unsigned int | d |
| Current discrepancy.
|
bool | no_solution |
| Solution found for current discrepancy.
|
Detailed Description
Limited discrepancy search engine implementation.
Definition at line 99 of file lds.hh.
Constructor & Destructor Documentation
Gecode::Search::Sequential::LDS::LDS |
( |
Space * |
s, |
|
|
size_t |
sz, |
|
|
const Options & |
o | |
|
) |
| | [inline] |
Initialize for space s (of size sz) with options o.
Definition at line 285 of file lds.hh.
Gecode::Search::Sequential::LDS::~LDS |
( |
void |
|
) |
[virtual] |
Destructor.
Definition at line 80 of file lds.cpp.
Member Function Documentation
Space * Gecode::Search::Sequential::LDS::next |
( |
void |
|
) |
[virtual] |
Statistics Gecode::Search::Sequential::LDS::statistics |
( |
void |
|
) |
const [virtual] |
bool Gecode::Search::Sequential::LDS::stopped |
( |
void |
|
) |
const [virtual] |
Member Data Documentation
The probe engine.
Definition at line 104 of file lds.hh.
Root node for problem.
Definition at line 106 of file lds.hh.
Current discrepancy.
Definition at line 108 of file lds.hh.
Solution found for current discrepancy.
Definition at line 110 of file lds.hh.
The documentation for this class was generated from the following files: