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 () |
const GroundPredicateHashArray * | getGndPreds () const |
const Array< GroundClause * > * | getGndClauses () const |
const int | getNumGndPreds () |
const int | getNumGndClauses () |
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.