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: