A struct for aggregating statistics maintained in a solver object. More...
#include <solver_types.h>
Public Member Functions | |
| void | accu (const SolverStats &o) |
| void | addCpuTime (double t) |
| void | addDeleted (uint32 num) |
| void | addDistributed (uint32 lbd, ConstraintType t) |
| void | addDomChoice (uint32 num=1) |
| void | addIntegrated (uint32 num=1) |
| void | addIntegratedAsserting (uint32 receivedDL, uint32 jumpDL) |
| void | addLearnt (uint32 size, ConstraintType t) |
| void | addModel (uint32 decisionLevel) |
| void | addPath (const LitVec::size_type &sz) |
| void | addSplit (uint32 num=1) |
| void | addTest (bool partial) |
| bool | enableExtended () |
| bool | enableJump () |
| void | enableQueue (uint32 size) |
| bool | enableStats (const SolverStats &other) |
| const char * | keys (const char *path) const |
| int | level () const |
| double | operator[] (const char *key) const |
| void | removeIntegrated (uint32 num=1) |
| void | reset () |
| SolverStats () | |
| SolverStats (const SolverStats &o) | |
| const char * | subKeys (const char *p) const |
| void | swapStats (SolverStats &o) |
| void | updateJumps (uint32 dl, uint32 uipLevel, uint32 bLevel, uint32 lbd) |
| ~SolverStats () | |
Public Attributes | |
| ExtendedStats * | extra |
| JumpStats * | jumps |
| SumQueue * | queue |
Private Member Functions | |
| SolverStats & | operator= (const SolverStats &) |
Detailed Description
A struct for aggregating statistics maintained in a solver object.
Definition at line 287 of file solver_types.h.
Constructor & Destructor Documentation
| Clasp::SolverStats::SolverStats | ( | ) | [inline] |
Definition at line 288 of file solver_types.h.
| Clasp::SolverStats::SolverStats | ( | const SolverStats & | o | ) | [inline] |
Definition at line 289 of file solver_types.h.
| Clasp::SolverStats::~SolverStats | ( | ) | [inline] |
Definition at line 293 of file solver_types.h.
Member Function Documentation
| void Clasp::SolverStats::accu | ( | const SolverStats & | o | ) |
Definition at line 51 of file solver_types.cpp.
| bool Clasp::SolverStats::enableExtended | ( | ) |
Definition at line 33 of file solver_types.cpp.
| bool Clasp::SolverStats::enableJump | ( | ) |
Definition at line 37 of file solver_types.cpp.
| void Clasp::SolverStats::enableQueue | ( | uint32 | size | ) |
Definition at line 41 of file solver_types.cpp.
| bool Clasp::SolverStats::enableStats | ( | const SolverStats & | other | ) |
Definition at line 28 of file solver_types.cpp.
| const char* Clasp::SolverStats::keys | ( | const char * | path | ) | const [inline] |
Definition at line 304 of file solver_types.h.
| int Clasp::SolverStats::level | ( | ) | const [inline] |
Definition at line 295 of file solver_types.h.
| SolverStats& Clasp::SolverStats::operator= | ( | const SolverStats & | ) | [private] |
| double Clasp::SolverStats::operator[] | ( | const char * | key | ) | const |
Reimplemented from Clasp::CoreStats.
Definition at line 61 of file solver_types.cpp.
| void Clasp::SolverStats::reset | ( | ) |
Reimplemented from Clasp::CoreStats.
Definition at line 45 of file solver_types.cpp.
| const char * Clasp::SolverStats::subKeys | ( | const char * | p | ) | const |
Definition at line 71 of file solver_types.cpp.
| void Clasp::SolverStats::swapStats | ( | SolverStats & | o | ) |
Definition at line 56 of file solver_types.cpp.
Member Data Documentation
Optional extended statistics.
Definition at line 327 of file solver_types.h.
Optional jump statistics.
Definition at line 328 of file solver_types.h.
Optional queue for running averages.
Definition at line 326 of file solver_types.h.
The documentation for this struct was generated from the following files: