A struct for holding core statistics used by a solver. More...
#include <solver_types.h>
Inheritance diagram for Clasp::CoreStats:
Public Member Functions | |
| void | accu (const CoreStats &o) |
| double | avgRestart () const |
| uint64 | backjumps () const |
| uint64 | backtracks () const |
| CoreStats () | |
| double | operator[] (const char *key) const |
| void | reset () |
Static Public Member Functions | |
| static const char * | keys (const char *path) |
Detailed Description
A struct for holding core statistics used by a solver.
Core statistics are always present in a solver and hence can be used by heuristics.
Definition at line 71 of file solver_types.h.
Constructor & Destructor Documentation
| Clasp::CoreStats::CoreStats | ( | ) | [inline] |
Definition at line 79 of file solver_types.h.
Member Function Documentation
| void Clasp::CoreStats::accu | ( | const CoreStats & | o | ) | [inline] |
Definition at line 81 of file solver_types.h.
| double Clasp::CoreStats::avgRestart | ( | ) | const [inline] |
Definition at line 94 of file solver_types.h.
| uint64 Clasp::CoreStats::backjumps | ( | ) | const [inline] |
Definition at line 93 of file solver_types.h.
| uint64 Clasp::CoreStats::backtracks | ( | ) | const [inline] |
Definition at line 92 of file solver_types.h.
| static const char* Clasp::CoreStats::keys | ( | const char * | path | ) | [inline, static] |
Definition at line 88 of file solver_types.h.
| double Clasp::CoreStats::operator[] | ( | const char * | key | ) | const [inline] |
Reimplemented in Clasp::SolverStats.
Definition at line 84 of file solver_types.h.
| void Clasp::CoreStats::reset | ( | ) | [inline] |
Reimplemented in Clasp::SolverStats.
Definition at line 80 of file solver_types.h.
The documentation for this struct was generated from the following file: