Public Member Functions | |
| 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) | |
| long double | sizeKB () |
| Computes and returns size of the mrf in kilobytes. | |
| ~MRF () | |
| void | deleteGndPredsGndClauseSets () |
| void | setGndClausesWtsToSumOfParentWts () |
| const GroundPredicateHashArray * | getGndPreds () const |
| const Array< GroundClause * > * | getGndClauses () const |
| const int | getNumGndPreds () |
| const int | getNumGndClauses () |
| Array< Array< int > > * | getBlocks () |
| Array< bool > * | getBlockEvidence () |
Static Public Member Functions | |
| static void | addUnknownGndClause (const AddGroundClauseStruct *const &agcs, const Clause *const &clause, const Clause *const &truncClause, const bool &isHardClause) |
Definition at line 118 of file mrf.h.
1.5.1