Search worker control including memory information
More...
#include <worker.hh>
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)
|
Additional Inherited Members |
unsigned long int | fail |
| Number of failed nodes in search tree.
|
unsigned long int | node |
| Number of nodes expanded.
|
unsigned long int | depth |
| Maximum depth of search stack.
|
size_t | memory |
| Peak memory allocated.
|
Detailed Description
Search worker control including memory information
Definition at line 48 of file worker.hh.
Constructor & Destructor Documentation
Gecode::Search::Worker::Worker |
( |
size_t |
sz | ) |
|
|
inline |
Initialize with space size sz.
Definition at line 94 of file worker.hh.
Member Function Documentation
void Gecode::Search::Worker::start |
( |
void |
| ) |
|
|
inline |
Reset stop information.
Definition at line 101 of file worker.hh.
bool Gecode::Search::Worker::stop |
( |
const Options & |
o, |
|
|
size_t |
sz |
|
) |
| |
|
inline |
Check whether engine must be stopped (with additional stackspace sz)
Definition at line 106 of file worker.hh.
bool Gecode::Search::Worker::stopped |
( |
void |
| ) |
const |
|
inline |
Check whether engine has been stopped.
Definition at line 116 of file worker.hh.
void Gecode::Search::Worker::push |
( |
const Space * |
s, |
|
|
const Choice * |
c |
|
) |
| |
|
inline |
New space s and choice c get pushed on stack.
Definition at line 121 of file worker.hh.
void Gecode::Search::Worker::constrained |
( |
const Space * |
s1, |
|
|
const Space * |
s2 |
|
) |
| |
|
inline |
Space s1 is replaced by space s2 due to constraining.
Definition at line 137 of file worker.hh.
void Gecode::Search::Worker::adapt |
( |
const Space * |
s | ) |
|
|
inline |
New space s is added for adaptive recomputation.
Definition at line 130 of file worker.hh.
void Gecode::Search::Worker::pop |
( |
const Space * |
s, |
|
|
const Choice * |
c |
|
) |
| |
|
inline |
Space s and choice c get popped from stack.
Definition at line 150 of file worker.hh.
void Gecode::Search::Worker::lao |
( |
const Space * |
s | ) |
|
|
inline |
Space s gets used for LAO (removed from stack)
Definition at line 145 of file worker.hh.
void Gecode::Search::Worker::current |
( |
const Space * |
s | ) |
|
|
inline |
Space s becomes current space (s = NULL: current space deleted)
Definition at line 157 of file worker.hh.
void Gecode::Search::Worker::reset |
( |
const Space * |
s, |
|
|
unsigned long int |
d = 0 |
|
) |
| |
|
inline |
Reset statistics for space s with root depth d.
Definition at line 170 of file worker.hh.
void Gecode::Search::Worker::reset |
( |
void |
| ) |
|
|
inline |
void Gecode::Search::Worker::stack_depth |
( |
unsigned long int |
d | ) |
|
|
inline |
Record stack depth d.
Definition at line 188 of file worker.hh.
unsigned long int Gecode::Search::Worker::steal_depth |
( |
unsigned long int |
d | ) |
const |
|
inline |
Return steal depth.
Definition at line 194 of file worker.hh.
Member Data Documentation
bool Gecode::Search::Worker::_stopped |
|
protected |
Whether engine has been stopped.
Definition at line 51 of file worker.hh.
size_t Gecode::Search::Worker::mem_space |
|
protected |
Memory required for a single space.
Definition at line 53 of file worker.hh.
size_t Gecode::Search::Worker::mem_cur |
|
protected |
Memory for the current space (including memory for caching)
Definition at line 55 of file worker.hh.
size_t Gecode::Search::Worker::mem_total |
|
protected |
Current total memory.
Definition at line 57 of file worker.hh.
unsigned long int Gecode::Search::Worker::root_depth |
|
protected |
Depth of root node (for work stealing)
Definition at line 59 of file worker.hh.
The documentation for this class was generated from the following file: