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: