| addWt(const double &wt) | GroundClause | [inline] |
| appendParentWtPtr(const double *const &wtPtr) | GroundClause | [inline] |
| appendToGndPreds(GroundPredicateHashArray *const &gndPredHashArray) | GroundClause | |
| changeGndPredIndex(const int &oldIdx, const int &newIdx) | GroundClause | [inline] |
| deleteFoClauseFrequencies() | GroundClause | [inline] |
| deleteParentWtPtrs() | GroundClause | [inline] |
| getClauseFrequencies() | GroundClause | [inline] |
| getClauseFrequency(int clauseno) | GroundClause | [inline] |
| getGndPredIndexes() const | GroundClause | [inline] |
| getGroundPredicate(const int &i, GroundPredicateHashArray *const &gndPredHashArray) const | GroundClause | [inline] |
| getGroundPredicateIndex(const int &i) const | GroundClause | [inline] |
| getGroundPredicateSense(const int &i) const | GroundClause | [inline] |
| getNumGroundPredicates() const | GroundClause | [inline] |
| getWt() const | GroundClause | [inline] |
| GroundClause(const Clause *const &c, GroundPredicateHashArray *const &gndPredHashArray) | GroundClause | |
| hashCode() | GroundClause | [inline] |
| incrementClauseFrequency(int clauseno, int increment) | GroundClause | [inline] |
| isHardClause() const | GroundClause | [inline] |
| print(ostream &out) const | GroundClause | |
| print(ostream &out, const Domain *const &domain, const bool &withWt, const bool &asInt, const bool &withStrVar, const GroundPredicateHashArray *const &predHashArray) const | GroundClause | |
| print(ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const | GroundClause | |
| printWithoutWt(ostream &out) const | GroundClause | |
| printWithoutWt(ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const | GroundClause | |
| printWithoutWtWithStrVar(ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const | GroundClause | |
| printWithoutWtWithStrVarAndPeriod(ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const | GroundClause | |
| printWithWtAndStrVar(ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const | GroundClause | |
| removeGndPred(const int &gndPred) | GroundClause | [inline] |
| same(const GroundClause *const &gc) | GroundClause | [inline] |
| setGroundPredicateIndex(const int &i, const int &gndPredIdx) | GroundClause | [inline] |
| setWt(const double &wt) | GroundClause | [inline] |
| setWtToHardWt() | GroundClause | [inline] |
| setWtToSumOfParentWts() | GroundClause | [inline] |
| sizeKB() | GroundClause | |
| ~GroundClause() | GroundClause | [inline] |