Stop-object for meta engine
More...
#include <search.hh>
Stop-object for meta engine
Definition at line 349 of file search.hh.
Gecode::Search::MetaStop::MetaStop |
( |
Stop * |
s | ) |
|
|
inline |
Stop the meta engine if indicated by the stop object s.
Definition at line 131 of file stop.hpp.
Gecode::Search::MetaStop::~MetaStop |
( |
void |
| ) |
|
|
inline |
Delete object.
Definition at line 162 of file stop.hpp.
void Gecode::Search::MetaStop::limit |
( |
const Search::Statistics & |
s, |
|
|
unsigned long int |
l |
|
) |
| |
|
inline |
Set current limit for the engine to l fails.
Definition at line 135 of file stop.hpp.
Update statistics.
Definition at line 142 of file stop.hpp.
Stop * Gecode::Search::MetaStop::enginestop |
( |
void |
| ) |
const |
|
inline |
Return the stop object to control the engine.
Definition at line 147 of file stop.hpp.
bool Gecode::Search::MetaStop::enginestopped |
( |
void |
| ) |
const |
|
inline |
Return whether the engine has been stopped.
Definition at line 152 of file stop.hpp.
Statistics Gecode::Search::MetaStop::metastatistics |
( |
void |
| ) |
const |
|
inline |
Return statistics for the meta engine.
Definition at line 157 of file stop.hpp.
The documentation for this class was generated from the following files: