AuxClauseData Member List

This is the complete list of members for AuxClauseData, including all inherited members.

addedPredStr	AuxClauseData
AuxClauseData()	AuxClauseData	[inline]
AuxClauseData(const double &ggain, const int &oop, const int &rremovedClauseIdx)	AuxClauseData	[inline]
AuxClauseData(const double &ggain, const int &oop, const int &rremovedClauseIdx, const bool &hhasBeenExpanded, const int &llastStepExpanded, const int &llastStepOverMinWeight)	AuxClauseData	[inline]
AuxClauseData(const double &ggain, const int &oop, const int &rremovedClauseIdx, const string &prevClause, const string &addedPred, const int &remPredIdx)	AuxClauseData	[inline]
cache	AuxClauseData
compress()	AuxClauseData	[inline]
computeFixedSizeB()	AuxClauseData	[inline, static]
constTermPtrs	AuxClauseData
deleteCache()	AuxClauseData	[inline]
fixedSizeB_	AuxClauseData	[static]
gain	AuxClauseData
hasBeenExpanded	AuxClauseData
lastStepExpanded	AuxClauseData
lastStepOverMinWeight	AuxClauseData
op	AuxClauseData
prevClauseStr	AuxClauseData
removedClauseIdx	AuxClauseData
removedPredIdx	AuxClauseData
reset()	AuxClauseData	[inline]
sizeMB() const	AuxClauseData	[inline]
~AuxClauseData()	AuxClauseData	[inline]

---