Stop object used for controling slaves in a portfolio.
More...
#include <pbs.hh>
|
| PortfolioStop (Stop *so) |
| Initialize.
|
void | share (volatile bool *ts) |
| Set pointer to shared tostop variable.
|
virtual bool | stop (const Statistics &s, const Options &o) |
| Return true if portfolio engine must be stopped.
|
void | stop (bool s) |
| Signal whether search must be stopped.
|
bool | stop (void) const |
| Whether search must be stopped.
|
| Stop (void) |
| Default constructor.
|
virtual | ~Stop (void) |
| Destructor.
|
|
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 used for controling slaves in a portfolio.
Definition at line 42 of file pbs.hh.
◆ PortfolioStop()
Gecode::Search::Par::PortfolioStop::PortfolioStop |
( |
Stop * | so | ) |
|
|
inline |
Initialize.
Definition at line 117 of file pbs.hpp.
◆ share()
void Gecode::Search::Par::PortfolioStop::share |
( |
volatile bool * | ts | ) |
|
|
inline |
Set pointer to shared tostop variable.
Definition at line 121 of file pbs.hpp.
◆ stop() [1/3]
bool Gecode::Search::Par::PortfolioStop::stop |
( |
const Statistics & | s, |
|
|
const Options & | o ) |
|
virtual |
◆ stop() [2/3]
void Gecode::Search::Par::PortfolioStop::stop |
( |
bool | s | ) |
|
Signal whether search must be stopped.
◆ stop() [3/3]
bool Gecode::Search::Par::PortfolioStop::stop |
( |
void | | ) |
const |
Whether search must be stopped.
The documentation for this class was generated from the following files: