Public Member Functions |
| Worker (size_t sz) |
| Initialize with space size sz.
|
void | start (void) |
| Reset stop information.
|
bool | stop (const Options &o, size_t sz) |
| Check whether engine must be stopped (with additional stackspace sz)
|
bool | stopped (void) const |
| Check whether engine has been stopped.
|
void | push (const Space *s, const Choice *c) |
| New space s and choice c get pushed on stack.
|
void | constrained (const Space *s1, const Space *s2) |
| Space s1 is replaced by space s2 due to constraining.
|
void | adapt (const Space *s) |
| New space s is added for adaptive recomputation.
|
void | pop (const Space *s, const Choice *c) |
| Space s and choice c get popped from stack.
|
void | lao (const Space *s) |
| Space s gets used for LAO (removed from stack)
|
void | current (const Space *s) |
| Space s becomes current space (s = NULL: current space deleted)
|
void | reset (const Space *s, unsigned long int d=0) |
| Reset statistics for space s with root depth d.
|
void | reset (void) |
| Reset statistics for failed space.
|
void | stack_depth (unsigned long int d) |
| Record stack depth d.
|
unsigned long int | steal_depth (unsigned long int d) const |
| Return steal depth.
|
Protected Attributes |
bool | _stopped |
| Whether engine has been stopped.
|
size_t | mem_space |
| Memory required for a single space.
|
size_t | mem_cur |
| Memory for the current space (including memory for caching)
|
size_t | mem_total |
| Current total memory.
|
unsigned long int | root_depth |
| Depth of root node (for work stealing)
|
Search worker control including memory information