Clasp::SolverStats Member List

This is the complete list of members for Clasp::SolverStats, including all inherited members.

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