Gecode::Search::Seq::RestartStop Class Reference
Stop-object for restart engine More...
#include <rbs.hh>
Public Member Functions | |
| RestartStop (Stop *s) | |
| Stop the meta engine if indicated by the stop object s. | |
| virtual bool | stop (const Statistics &s, const Options &o) |
| Return true if meta engine must be stopped. | |
| void | limit (const Statistics &s, unsigned long int l) |
| Set current limit for the engine to l fails. | |
| void | update (const Search::Statistics &s) |
| Update statistics. | |
| bool | enginestopped (void) const |
| Return whether the engine has been stopped. | |
| Statistics | metastatistics (void) const |
| Return statistics for the meta engine. | |
Detailed Description
Stop-object for restart engine
Definition at line 44 of file rbs.hh.
Constructor & Destructor Documentation
| Gecode::Search::Seq::RestartStop::RestartStop | ( | Stop * | s | ) | [inline] |
Member Function Documentation
| bool Gecode::Search::Seq::RestartStop::stop | ( | const Statistics & | s, | |
| const Options & | o | |||
| ) | [virtual] |
Return true if meta engine must be stopped.
Implements Gecode::Search::Stop.
| void Gecode::Search::Seq::RestartStop::limit | ( | const Statistics & | s, | |
| unsigned long int | l | |||
| ) | [inline] |
| void Gecode::Search::Seq::RestartStop::update | ( | const Search::Statistics & | s | ) | [inline] |
| bool Gecode::Search::Seq::RestartStop::enginestopped | ( | void | ) | const [inline] |
| Statistics Gecode::Search::Seq::RestartStop::metastatistics | ( | void | ) | const [inline] |
The documentation for this class was generated from the following files: