Public Member Functions | |
| AuxClauseData () | |
| AuxClauseData (const double &ggain, const int &oop, const int &rremovedClauseIdx) | |
| AuxClauseData (const double &ggain, const int &oop, const int &rremovedClauseIdx, const bool &hhasBeenExpanded, const int &llastStepExpanded, const int &llastStepOverMinWeight) | |
| AuxClauseData (const double &ggain, const int &oop, const int &rremovedClauseIdx, const string &prevClause, const string &addedPred, const int &remPredIdx) | |
| ~AuxClauseData () | |
| void | deleteCache () |
| void | compress () |
| double | sizeMB () const |
| void | reset () |
Static Public Member Functions | |
| static void | computeFixedSizeB () |
Public Attributes | |
| double | gain |
| Array< Term * > * | constTermPtrs |
| int | op |
| int | removedClauseIdx |
| Array< Array< Array< CacheCount * > * > * > * | cache |
| string | prevClauseStr |
| string | addedPredStr |
| int | removedPredIdx |
| bool | hasBeenExpanded |
| int | lastStepExpanded |
| int | lastStepOverMinWeight |
Static Public Attributes | |
| static double | fixedSizeB_ |
Definition at line 119 of file clausehelper.h.
1.5.1