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] |