Gecode::Search::Seq::LDS< Tracer > Class Template Reference
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. | |
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. |
Detailed Description
template<class Tracer>
class Gecode::Search::Seq::LDS< Tracer >
Limited discrepancy search engine implementation.
Definition at line 105 of file lds.hh.
Constructor & Destructor Documentation
template<class Tracer >
Gecode::Search::Seq::LDS< Tracer >::LDS | ( | Space * | s, | |
const Options & | o | |||
) | [inline] |
template<class Tracer >
Gecode::Search::Seq::LDS< Tracer >::~LDS | ( | void | ) | [inline, virtual] |
Member Function Documentation
template<class Tracer >
Space * Gecode::Search::Seq::LDS< Tracer >::next | ( | void | ) | [inline, virtual] |
Return next solution (NULL, if none exists or search has been stopped).
Implements Gecode::Search::Engine.
template<class Tracer >
Statistics Gecode::Search::Seq::LDS< Tracer >::statistics | ( | void | ) | const [inline, virtual] |
template<class Tracer >
void Gecode::Search::Seq::LDS< Tracer >::constrain | ( | const Space & | b | ) | [inline, virtual] |
Constrain future solutions to be better than b (should never be called).
Reimplemented from Gecode::Search::Engine.
template<class Tracer >
void Gecode::Search::Seq::LDS< Tracer >::reset | ( | Space * | s | ) | [inline, virtual] |
Reset engine to restart at space s.
Reimplemented from Gecode::Search::Engine.
template<class Tracer >
bool Gecode::Search::Seq::LDS< Tracer >::stopped | ( | void | ) | const [inline, virtual] |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
Member Data Documentation
template<class Tracer >
Options Gecode::Search::Seq::LDS< Tracer >::opt [protected] |
template<class Tracer >
Probe<Tracer> Gecode::Search::Seq::LDS< Tracer >::e [protected] |
template<class Tracer >
Space* Gecode::Search::Seq::LDS< Tracer >::root [protected] |
template<class Tracer >
unsigned int Gecode::Search::Seq::LDS< Tracer >::d [protected] |
template<class Tracer >
bool Gecode::Search::Seq::LDS< Tracer >::no_solution [protected] |
The documentation for this class was generated from the following files: