Stop object used for controling slaves in a portfolio.
More...
#include <pbs.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 used for controling slaves in a portfolio.
Definition at line 51 of file pbs.hh.
◆ PortfolioStop()
Gecode::Search::Seq::PortfolioStop::PortfolioStop |
( |
Stop * | so | ) |
|
|
inline |
Initialize.
Definition at line 40 of file pbs.hpp.
◆ share()
void Gecode::Search::Seq::PortfolioStop::share |
( |
SharedStopInfo * | ssi | ) |
|
|
inline |
Intialize shared stop information.
Definition at line 43 of file pbs.hpp.
◆ stop()
bool Gecode::Search::Seq::PortfolioStop::stop |
( |
const Statistics & | s, |
|
|
const Options & | o ) |
|
virtual |
The documentation for this class was generated from the following files: