Depth-first restart best solution search engine implementation. More...
#include <restart.hh>
Public Member Functions | |
Restart (Space *s, size_t sz, const Search::Options &o) | |
Initialize engine for space s (with size sz) and options o. | |
virtual Space * | next (void) |
Return next better solution (NULL, if none exists or search has been stopped) | |
virtual | ~Restart (void) |
Destructor. | |
Protected Attributes | |
Space * | root |
Root node. | |
Space * | best |
So-far best solution. | |
bool | reset_needed |
Whether a reset is needed. |
Depth-first restart best solution search engine implementation.
Definition at line 46 of file restart.hh.
Gecode::Search::Parallel::Restart::Restart | ( | Space * | s, |
size_t | sz, | ||
const Search::Options & | o | ||
) | [inline] |
Initialize engine for space s (with size sz) and options o.
Definition at line 64 of file restart.hh.
Gecode::Search::Parallel::Restart::~Restart | ( | void | ) | [virtual] |
Destructor.
Definition at line 158 of file restart.cpp.
Space * Gecode::Search::Parallel::Restart::next | ( | void | ) | [virtual] |
Return next better solution (NULL, if none exists or search has been stopped)
Reimplemented from Gecode::Search::Parallel::Engine.
Definition at line 47 of file restart.cpp.
Space* Gecode::Search::Parallel::Restart::root [protected] |
Root node.
Definition at line 49 of file restart.hh.
Space* Gecode::Search::Parallel::Restart::best [protected] |
So-far best solution.
Definition at line 51 of file restart.hh.
bool Gecode::Search::Parallel::Restart::reset_needed [protected] |
Whether a reset is needed.
Definition at line 53 of file restart.hh.