A struct for holding (optional) jump statistics. More...
#include <solver_types.h>
Public Member Functions | |
| void | accu (const JumpStats &o) |
| double | avgBound () const |
| double | avgJump () const |
| double | avgJumpEx () const |
| uint64 | jumped () const |
| double | jumpedRatio () const |
| JumpStats () | |
| double | operator[] (const char *key) const |
| void | reset () |
| void | update (uint32 dl, uint32 uipLevel, uint32 bLevel) |
Static Public Member Functions | |
| static const char * | keys (const char *path) |
A struct for holding (optional) jump statistics.
Definition at line 163 of file solver_types.h.
| Clasp::JumpStats::JumpStats | ( | ) | [inline] |
Definition at line 173 of file solver_types.h.
| void Clasp::JumpStats::accu | ( | const JumpStats & | o | ) | [inline] |
Definition at line 175 of file solver_types.h.
| double Clasp::JumpStats::avgBound | ( | ) | const [inline] |
Definition at line 202 of file solver_types.h.
| double Clasp::JumpStats::avgJump | ( | ) | const [inline] |
Definition at line 203 of file solver_types.h.
| double Clasp::JumpStats::avgJumpEx | ( | ) | const [inline] |
Definition at line 204 of file solver_types.h.
| uint64 Clasp::JumpStats::jumped | ( | ) | const [inline] |
Definition at line 200 of file solver_types.h.
| double Clasp::JumpStats::jumpedRatio | ( | ) | const [inline] |
Definition at line 201 of file solver_types.h.
| static const char* Clasp::JumpStats::keys | ( | const char * | path | ) | [inline, static] |
Definition at line 184 of file solver_types.h.
| double Clasp::JumpStats::operator[] | ( | const char * | key | ) | const [inline] |
Definition at line 180 of file solver_types.h.
| void Clasp::JumpStats::reset | ( | ) | [inline] |
Definition at line 174 of file solver_types.h.
| void Clasp::JumpStats::update | ( | uint32 | dl, |
| uint32 | uipLevel, | ||
| uint32 | bLevel | ||
| ) | [inline] |
Definition at line 188 of file solver_types.h.