Stop-object for restart engine
More...
#include <rbs.hh>
|
| static Stop * | node (unsigned long int l) |
| | Stop if node limit l has been exceeded.
|
| static Stop * | fail (unsigned long int l) |
| | Stop if failure limit l has been exceeded.
|
| static Stop * | time (unsigned long int l) |
| | Stop if time limit l (in milliseconds) has been exceeded.
|
| static void * | operator new (size_t s) |
| | Memory management.
|
| static void | operator delete (void *p) |
| | Free memory allocated from heap.
|
Stop-object for restart engine
Definition at line 44 of file rbs.hh.
◆ RestartStop()
| Gecode::Search::Seq::RestartStop::RestartStop |
( |
Stop * | s | ) |
|
|
inline |
Stop the meta engine if indicated by the stop object s.
Definition at line 38 of file rbs.hpp.
◆ stop()
| bool Gecode::Search::Seq::RestartStop::stop |
( |
const Statistics & | s, |
|
|
const Options & | o ) |
|
virtual |
◆ limit()
| void Gecode::Search::Seq::RestartStop::limit |
( |
const Statistics & | s, |
|
|
unsigned long int | l ) |
|
inline |
Set current limit for the engine to l fails.
Definition at line 42 of file rbs.hpp.
◆ update()
Update statistics.
Definition at line 49 of file rbs.hpp.
◆ enginestopped()
| bool Gecode::Search::Seq::RestartStop::enginestopped |
( |
void | | ) |
const |
|
inline |
Return whether the engine has been stopped.
Definition at line 54 of file rbs.hpp.
◆ metastatistics()
| Statistics Gecode::Search::Seq::RestartStop::metastatistics |
( |
void | | ) |
const |
|
inline |
Return statistics for the meta engine.
Definition at line 59 of file rbs.hpp.
The documentation for this class was generated from the following files: