Search engine implementation interface More...
#include <search.hh>
Public Member Functions | |
virtual Space * | next (void)=0 |
Return next solution (NULL, if none exists or search has been stopped) | |
virtual Statistics | statistics (void) const =0 |
Return statistics. | |
virtual bool | stopped (void) const =0 |
Check whether engine has been stopped. | |
virtual void | reset (Space *s)=0 |
Reset engine to restart at space s. | |
virtual NoGoods & | nogoods (void)=0 |
Return no-goods. | |
virtual | ~Engine (void) |
Destructor. |
virtual Gecode::Search::Engine::~Engine | ( | void | ) | [inline, virtual] |
virtual Space* Gecode::Search::Engine::next | ( | void | ) | [pure virtual] |
Return next solution (NULL, if none exists or search has been stopped)
Implemented in Gecode::Search::Parallel::Engine, Gecode::Search::Meta::RBS, and Gecode::Search::WorkerToEngine< Worker >.
virtual Statistics Gecode::Search::Engine::statistics | ( | void | ) | const [pure virtual] |
Return statistics.
Implemented in Gecode::Search::Parallel::BAB, Gecode::Search::Parallel::DFS, Gecode::Search::Meta::RBS, and Gecode::Search::WorkerToEngine< Worker >.
virtual bool Gecode::Search::Engine::stopped | ( | void | ) | const [pure virtual] |
Check whether engine has been stopped.
Implemented in Gecode::Search::Parallel::Engine, Gecode::Search::Meta::RBS, and Gecode::Search::WorkerToEngine< Worker >.
virtual void Gecode::Search::Engine::reset | ( | Space * | s | ) | [pure virtual] |
Reset engine to restart at space s.
Implemented in Gecode::Search::Parallel::BAB, Gecode::Search::Parallel::DFS, Gecode::Search::Meta::RBS, and Gecode::Search::WorkerToEngine< Worker >.
virtual NoGoods& Gecode::Search::Engine::nogoods | ( | void | ) | [pure virtual] |
Return no-goods.
Implemented in Gecode::Search::Parallel::BAB, Gecode::Search::Parallel::DFS, Gecode::Search::Meta::RBS, and Gecode::Search::WorkerToEngine< Worker >.