clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | Public Attributes | List of all members
Clasp::SolverStats Struct Reference
Solver and related classes.

A struct for aggregating statistics maintained in a solver object. More...

#include <solver_types.h>

Inheritance diagram for Clasp::SolverStats:
Inheritance graph
Collaboration diagram for Clasp::SolverStats:
Collaboration graph

Public Member Functions

 SolverStats ()
 
 SolverStats (const SolverStats &o)
 
 ~SolverStats ()
 
bool enableStats (const SolverStats &other)
 
int level () const
 
bool enableExtended ()
 
bool enableJump ()
 
void enableQueue (uint32 size)
 
void reset ()
 
void accu (const SolverStats &o)
 
void swapStats (SolverStats &o)
 
double operator[] (const char *key) const
 
const char * subKeys (const char *p) const
 
const char * keys (const char *path) const
 
void addLearnt (uint32 size, ConstraintType t)
 
void updateJumps (uint32 dl, uint32 uipLevel, uint32 bLevel, uint32 lbd)
 
void addDeleted (uint32 num)
 
void addDistributed (uint32 lbd, ConstraintType t)
 
void addTest (bool partial)
 
void addModel (uint32 decisionLevel)
 
void addCpuTime (double t)
 
void addSplit (uint32 num=1)
 
void addDomChoice (uint32 num=1)
 
void addIntegratedAsserting (uint32 receivedDL, uint32 jumpDL)
 
void addIntegrated (uint32 num=1)
 
void removeIntegrated (uint32 num=1)
 
void addPath (const LitVec::size_type &sz)
 
- Public Member Functions inherited from Clasp::CoreStats
 CoreStats ()
 
void reset ()
 
void accu (const CoreStats &o)
 
double operator[] (const char *key) const
 
uint64 backtracks () const
 
uint64 backjumps () const
 
double avgRestart () const
 

Public Attributes

SumQueue * queue
 
ExtendedStats * extra
 
JumpStats * jumps
 

Additional Inherited Members

- Static Public Member Functions inherited from Clasp::CoreStats
static const char * keys (const char *path)
 

Detailed Description

A struct for aggregating statistics maintained in a solver object.

Constructor & Destructor Documentation

Clasp::SolverStats::SolverStats ( )
inline
Clasp::SolverStats::SolverStats ( const SolverStats &  o)
inline

Here is the call graph for this function:

Clasp::SolverStats::~SolverStats ( )
inline

Here is the call graph for this function:

Member Function Documentation

void Clasp::SolverStats::accu ( const SolverStats &  o)

Here is the call graph for this function:

bool Clasp::SolverStats::enableExtended ( )
bool Clasp::SolverStats::enableJump ( )
void Clasp::SolverStats::enableQueue ( uint32  size)

Here is the call graph for this function:

bool Clasp::SolverStats::enableStats ( const SolverStats &  other)

Here is the call graph for this function:

const char* Clasp::SolverStats::keys ( const char *  path) const
inline

Here is the call graph for this function:

int Clasp::SolverStats::level ( ) const
inline
double Clasp::SolverStats::operator[] ( const char *  key) const

Here is the call graph for this function:

void Clasp::SolverStats::reset ( )

Here is the call graph for this function:

const char * Clasp::SolverStats::subKeys ( const char *  p) const

Here is the call graph for this function:

void Clasp::SolverStats::swapStats ( SolverStats &  o)

Here is the call graph for this function:

Member Data Documentation

ExtendedStats* Clasp::SolverStats::extra

Optional extended statistics.

JumpStats* Clasp::SolverStats::jumps

Optional jump statistics.

SumQueue* Clasp::SolverStats::queue

Optional queue for running averages.

The documentation for this struct was generated from the following files:
Generated on Wed May 14 2014 16:10:47 for clingo by   doxygen 1.8.7