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
