| addUnknownGndClause(const AddGroundClauseStruct *const &agcs, const Clause *const &clause, const Clause *const &truncClause, const bool &isHardClause) | MRF | [inline, static] |
| deleteGndPredsGndClauseSets() | MRF | [inline] |
| getBlockEvidence() | MRF | [inline] |
| getBlocks() | MRF | [inline] |
| getGndClauses() const | MRF | [inline] |
| getGndPreds() const | MRF | [inline] |
| getNumGndClauses() | MRF | [inline] |
| getNumGndPreds() | MRF | [inline] |
| MRF(const GroundPredicateHashArray *const &queries, const Array< int > *const &allPredGndingsAreQueries, const Domain *const &domain, const Database *const &db, const MLN *const &mln, const bool &markHardGndClauses, const bool &trackParentClauseWts, const int &memLimit) | MRF | [inline] |
| setGndClausesWtsToSumOfParentWts() | MRF | [inline] |
| sizeKB() | MRF | [inline] |
| ~MRF() | MRF | [inline] |
1.5.1