Search worker control including memory information More...
#include <worker.hh>
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) |
Gecode::Search::Worker::Worker | ( | size_t | sz | ) | [inline] |
void Gecode::Search::Worker::start | ( | void | ) | [inline] |
bool Gecode::Search::Worker::stop | ( | const Options & | o, |
size_t | sz | ||
) | [inline] |
bool Gecode::Search::Worker::stopped | ( | void | ) | const [inline] |
void Gecode::Search::Worker::push | ( | const Space * | s, |
const Choice * | c | ||
) | [inline] |
void Gecode::Search::Worker::constrained | ( | const Space * | s1, |
const Space * | s2 | ||
) | [inline] |
void Gecode::Search::Worker::adapt | ( | const Space * | s | ) | [inline] |
void Gecode::Search::Worker::pop | ( | const Space * | s, |
const Choice * | c | ||
) | [inline] |
void Gecode::Search::Worker::lao | ( | const Space * | s | ) | [inline] |
void Gecode::Search::Worker::current | ( | const Space * | s | ) | [inline] |
void Gecode::Search::Worker::reset | ( | const Space * | s, |
unsigned long int | d = 0 |
||
) | [inline] |
void Gecode::Search::Worker::reset | ( | void | ) | [inline] |
Reset statistics for failed space.
Reimplemented from Gecode::Search::Statistics.
void Gecode::Search::Worker::stack_depth | ( | unsigned long int | d | ) | [inline] |
unsigned long int Gecode::Search::Worker::steal_depth | ( | unsigned long int | d | ) | const [inline] |
bool Gecode::Search::Worker::_stopped [protected] |
size_t Gecode::Search::Worker::mem_space [protected] |
size_t Gecode::Search::Worker::mem_cur [protected] |
size_t Gecode::Search::Worker::mem_total [protected] |
unsigned long int Gecode::Search::Worker::root_depth [protected] |