Gecode::Search::Engine Class Reference
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 | constrain (const Space &b) |
| Constrain future solutions to be better than b (raises exception). | |
| virtual void | reset (Space *s) |
| Reset engine to restart at space s (does nothing). | |
| virtual NoGoods & | nogoods (void) |
| Return no-goods (the no-goods are empty). | |
| virtual | ~Engine (void) |
| Destructor. | |
Detailed Description
Search engine implementation interface
Definition at line 601 of file search.hh.
Constructor & Destructor Documentation
| Gecode::Search::Engine::~Engine | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 41 of file engine.hpp.
Member Function Documentation
| 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::Meta::Dead, Gecode::Search::Meta::Parallel::PBS< Collect >, Gecode::Search::Meta::RBS, Gecode::Search::Meta::Sequential::PBS< best >, Gecode::Search::Parallel::Engine, Gecode::Search::Sequential::LDS, Gecode::Search::WorkerToEngine< Worker >, and Gecode::Search::Meta::Parallel::PBS< CollectBest >.
| virtual Statistics Gecode::Search::Engine::statistics | ( | void | ) | const [pure virtual] |
Return statistics.
Implemented in Gecode::Search::Meta::Dead, Gecode::Search::Meta::Parallel::PBS< Collect >, Gecode::Search::Meta::RBS, Gecode::Search::Meta::Sequential::PBS< best >, Gecode::Search::Parallel::BAB, Gecode::Search::Parallel::DFS, Gecode::Search::Sequential::LDS, Gecode::Search::WorkerToEngine< Worker >, and Gecode::Search::Meta::Parallel::PBS< CollectBest >.
| virtual bool Gecode::Search::Engine::stopped | ( | void | ) | const [pure virtual] |
Check whether engine has been stopped.
Implemented in Gecode::Search::Meta::Dead, Gecode::Search::Meta::Parallel::PBS< Collect >, Gecode::Search::Meta::RBS, Gecode::Search::Meta::Sequential::PBS< best >, Gecode::Search::Parallel::Engine, Gecode::Search::Sequential::LDS, Gecode::Search::WorkerToEngine< Worker >, and Gecode::Search::Meta::Parallel::PBS< CollectBest >.
| void Gecode::Search::Engine::constrain | ( | const Space & | b | ) | [virtual] |
Constrain future solutions to be better than b (raises exception).
Reimplemented in Gecode::Search::Meta::Parallel::PBS< Collect >, Gecode::Search::Meta::RBS, Gecode::Search::Meta::Sequential::PBS< best >, Gecode::Search::Parallel::BAB, Gecode::Search::Sequential::LDS, Gecode::Search::WorkerToEngine< Worker >, and Gecode::Search::Meta::Parallel::PBS< CollectBest >.
Definition at line 43 of file engine.cpp.
| void Gecode::Search::Engine::reset | ( | Space * | s | ) | [virtual] |
Reset engine to restart at space s (does nothing).
Reimplemented in Gecode::Search::Parallel::BAB, Gecode::Search::Parallel::DFS, Gecode::Search::Sequential::LDS, and Gecode::Search::WorkerToEngine< Worker >.
Definition at line 48 of file engine.cpp.
| NoGoods & Gecode::Search::Engine::nogoods | ( | void | ) | [virtual] |
Return no-goods (the no-goods are empty).
Reimplemented in Gecode::Search::Parallel::BAB, Gecode::Search::Parallel::DFS, and Gecode::Search::WorkerToEngine< Worker >.
Definition at line 52 of file engine.cpp.
The documentation for this class was generated from the following files:
- gecode/search.hh (Revision: 15233)
- gecode/search/engine.cpp (Revision: 14776)
- gecode/search/engine.hpp (Revision: 14762)