Depth-first restart best solution search engine. More...
#include <search.hh>
Public Member Functions | |
Restart (T *s, const Search::Options &o=Search::Options::def) | |
Initialize engine for space s and options o. | |
T * | next (void) |
Return next better solution (NULL, if none exists or search has been stopped) | |
Search::Statistics | statistics (void) const |
Return statistics. | |
bool | stopped (void) const |
Check whether engine has been stopped. | |
~Restart (void) | |
Destructor. |
Depth-first restart best solution search engine.
Additionally, s must implement a member function
virtual void constrain(T& t)
Whenever exploration requires to add a constraint to the space c currently being explored, the engine executes c.constrain(t)
where t is the so-far best solution.
Gecode::Restart::Restart | ( | T * | s, |
const Search::Options & | o = Search::Options::def |
||
) | [inline] |
Initialize engine for space s and options o.
Definition at line 47 of file restart.hpp.
Gecode::Restart::~Restart | ( | void | ) | [inline] |
Destructor.
Definition at line 70 of file restart.hpp.
T * Gecode::Restart::next | ( | void | ) | [inline] |
Return next better solution (NULL, if none exists or search has been stopped)
Definition at line 52 of file restart.hpp.
Search::Statistics Gecode::Restart::statistics | ( | void | ) | const [inline] |
Return statistics.
Definition at line 58 of file restart.hpp.
bool Gecode::Restart::stopped | ( | void | ) | const [inline] |
Check whether engine has been stopped.
Definition at line 64 of file restart.hpp.