Gecode::Search::Worker Class Reference
Search worker statistics
More...
#include <worker.hh>
List of all members.
Public Member Functions |
| Worker (void) |
| Initialize.
|
void | start (void) |
| Reset stop information.
|
bool | stop (const Options &o) |
| Check whether engine must be stopped.
|
bool | stopped (void) const |
| Check whether engine has been stopped.
|
void | reset (unsigned long int d=0) |
| Reset statistics with root depth d.
|
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.
|
unsigned long int | root_depth |
| Depth of root node (for work stealing).
|
Detailed Description
Search worker statistics
Definition at line 48 of file worker.hh.
Constructor & Destructor Documentation
Gecode::Search::Worker::Worker |
( |
void |
|
) |
[inline] |
Member Function Documentation
void Gecode::Search::Worker::start |
( |
void |
|
) |
[inline] |
Reset stop information.
Definition at line 78 of file worker.hh.
bool Gecode::Search::Worker::stop |
( |
const Options & |
o |
) |
[inline] |
Check whether engine must be stopped.
Definition at line 83 of file worker.hh.
bool Gecode::Search::Worker::stopped |
( |
void |
|
) |
const [inline] |
Check whether engine has been stopped.
Definition at line 91 of file worker.hh.
void Gecode::Search::Worker::reset |
( |
unsigned long int |
d = 0 |
) |
[inline] |
Reset statistics with root depth d.
Definition at line 96 of file worker.hh.
void Gecode::Search::Worker::stack_depth |
( |
unsigned long int |
d |
) |
[inline] |
Record stack depth d.
Definition at line 104 of file worker.hh.
unsigned long int Gecode::Search::Worker::steal_depth |
( |
unsigned long int |
d |
) |
const [inline] |
Return steal depth.
Definition at line 110 of file worker.hh.
Member Data Documentation
Whether engine has been stopped.
Definition at line 51 of file worker.hh.
Depth of root node (for work stealing).
Definition at line 53 of file worker.hh.
The documentation for this class was generated from the following file: