
Sequential portfolio engine implementation. More...
#include <pbs.hh>
Public Member Functions | |
| PBS (Engine **slaves, Stop **stops, unsigned int n, const Statistics &stat, const Search::Options &opt) | |
| Initialize. | |
| virtual Space * | next (void) |
| Return next solution (NULL, if none exists or search has been stopped) | |
| virtual Statistics | statistics (void) const |
| Return statistics. | |
| virtual bool | stopped (void) const |
| Check whether engine has been stopped. | |
| virtual void | constrain (const Space &b) |
| Constrain future solutions to be better than b. | |
| virtual | ~PBS (void) |
| Destructor. | |
| Public Member Functions inherited from Gecode::Search::Engine | |
| virtual void | reset (Space *s) |
| Reset engine to restart at space s (does nothing) | |
| virtual NoGoods & | nogoods (void) |
| Return no-goods (the no-goods are empty) | |
| virtual | ~Engine (void) |
| Destructor. | |
Protected Attributes | |
| Statistics | stat |
| Master statistics. | |
| SharedStopInfo | ssi |
| Shared slave information. | |
| unsigned int | slice |
| Size of a slice. | |
| Slave * | slaves |
| Slaves. | |
| unsigned int | n_slaves |
| Number of slave engines. | |
| unsigned int | cur |
| Current slave to run. | |
| bool | slave_stop |
| Whether a slave has been stopped. | |
Additional Inherited Members | |
| Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. | |
Sequential portfolio engine implementation.
|
inline |
|
virtual |
|
virtual |
Return next solution (NULL, if none exists or search has been stopped)
Implements Gecode::Search::Engine.
|
virtual |
|
virtual |
Check whether engine has been stopped.
Implements Gecode::Search::Engine.
|
virtual |
Constrain future solutions to be better than b.
Reimplemented from Gecode::Search::Engine.
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |