MRF Class Reference

List of all members.

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 GroundPredicateHashArraygetGndPreds () 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)

Detailed Description

Definition at line 118 of file mrf.h.


The documentation for this class was generated from the following file:
Generated on Sun Jun 7 11:55:27 2009 for Alchemy by  doxygen 1.5.1