Stop-object for meta engine More...
#include <search.hh>
Public Member Functions | |
MetaStop (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 Search::Statistics &s, unsigned long int l) |
Set current limit for the engine to l fails. | |
void | update (const Search::Statistics &s) |
Update statistics. | |
Stop * | enginestop (void) const |
Return the stop object to control the engine. | |
bool | enginestopped (void) const |
Return whether the engine has been stopped. | |
Statistics | metastatistics (void) const |
Return statistics for the meta engine. | |
~MetaStop (void) | |
Delete object. |
Gecode::Search::MetaStop::MetaStop | ( | Stop * | s | ) | [inline] |
Gecode::Search::MetaStop::~MetaStop | ( | void | ) | [inline] |
bool Gecode::Search::MetaStop::stop | ( | const Statistics & | s, |
const Options & | o | ||
) | [virtual] |
Return true if meta engine must be stopped.
Implements Gecode::Search::Stop.
void Gecode::Search::MetaStop::limit | ( | const Search::Statistics & | s, |
unsigned long int | l | ||
) | [inline] |
void Gecode::Search::MetaStop::update | ( | const Search::Statistics & | s | ) | [inline] |
Stop * Gecode::Search::MetaStop::enginestop | ( | void | ) | const [inline] |
bool Gecode::Search::MetaStop::enginestopped | ( | void | ) | const [inline] |
Statistics Gecode::Search::MetaStop::metastatistics | ( | void | ) | const [inline] |