Public Member Functions | |
| MLN () | |
| ~MLN () | |
| int | getNumClauses () const |
| int | getNumHardClauses () const |
| bool | containsClause (const Clause *const &c) const |
| bool | appendClause (const string &formulaString, const bool &hasExist, Clause *const &c, const double &wt, const bool &isHardClause, int &retClauseIdx) |
| Clause * | removeClause (const int &remIdx) |
| Clause * | removeClause (const Clause *const &c) |
| void | removeAllClauses (Array< Clause * > *const &clauses) |
| void | rehashClauses () |
| double | getMaxAbsSoftWt () |
| int | findClauseIdx (const Clause *const &c) const |
| const Clause * | findClause (const Clause *const &c) const |
| const Clause * | getClause (const int &i) const |
| bool | isExistClause (const int &i) const |
| bool | isExistClause (const Clause *const &c) const |
| bool | isExistUniqueClause (const int &i) const |
| bool | isExistUniqueClause (const Clause *const &c) const |
| bool | clauseInNonExistAndNonExistUniqueFormulaCNF (const int &i) const |
| bool | clauseInNonExistAndNonExistUniqueFormulaCNF (const Clause *const &c) const |
| const ClauseHashArray * | getClauses () const |
| void | getClauses (Array< Clause * > *const &clauses) const |
| const MLNClauseInfo * | getMLNClauseInfo (const int &i) const |
| int * | getMLNClauseInfoIndexPtr (const int &i) const |
| const Array< MLNClauseInfo * > * | getMLNClauseInfos () const |
| void | setClauseInfoPriorMeansToClauseWts () |
| void | getClauseWts (Array< double > &wts) const |
| void | setClauseWts (Array< double > &wts) |
| const IndexClauseHashArray * | getClausesOfFormula (const string &formulaStr) const |
| bool | setFormulaNumPreds (const string &formulaStr, const int &numPreds) |
| bool | setFormulaIsHard (const string &formulaStr, const bool &isHard) |
| bool | setFormulaPriorMean (const string &formulaStr, const double &priorMean) |
| bool | setFormulaWt (const string &formulaStr, const double &wt) |
| bool | setFormulaIsExistUnique (const string &formulaStr, const bool &isExistUnique) |
| double | getFormulaWt (const string &formulaStr) |
| const FormulaAndClausesArray * | getFormulaAndClausesArray () const |
| const Array< Array< IndexClause * > * > * | getPredIdToClausesMap () const |
| const Array< IndexClause * > * | getClausesContainingPred (const int &predId) const |
| void | compress () |
| void | printMLN (ostream &out, const Domain *const &domain) |
| void | printMLNNonExistFormulas (ostream &out, const Domain *const &domain) |
| void | printMLNClausesFormulas (ostream &out, const Domain *const &domain, const bool &includeIdx) |
| void | printClausesWithWeights (ostream &out, const Domain *const &domain, int *const &startIdx=NULL, const bool &includeExistClauses=true, const bool &sortByLen=false, const bool &divWtAmongExistFormulas=false) const |
| void | printClausePriorMeans (ostream &out, const Domain *const &domain) |
| void | printFormulaPriorMeans (ostream &out) |
Definition at line 78 of file mln.h.
1.5.1