| appendClause(const string &formulaString, const bool &hasExist, Clause *const &c, const double &wt, const bool &isHardClause, int &retClauseIdx) | MLN | [inline] |
| clauseInNonExistAndNonExistUniqueFormulaCNF(const int &i) const | MLN | [inline] |
| clauseInNonExistAndNonExistUniqueFormulaCNF(const Clause *const &c) const | MLN | [inline] |
| compress() | MLN | [inline] |
| containsClause(const Clause *const &c) const | MLN | [inline] |
| findClause(const Clause *const &c) const | MLN | [inline] |
| findClauseIdx(const Clause *const &c) const | MLN | [inline] |
| getClause(const int &i) const | MLN | [inline] |
| getClauses() const | MLN | [inline] |
| getClauses(Array< Clause * > *const &clauses) const | MLN | [inline] |
| getClausesContainingPred(const int &predId) const | MLN | [inline] |
| getClausesOfFormula(const string &formulaStr) const | MLN | [inline] |
| getClauseWts(Array< double > &wts) const | MLN | [inline] |
| getFormulaAndClausesArray() const | MLN | [inline] |
| getFormulaWt(const string &formulaStr) | MLN | [inline] |
| getMaxAbsSoftWt() | MLN | [inline] |
| getMLNClauseInfo(const int &i) const | MLN | [inline] |
| getMLNClauseInfoIndexPtr(const int &i) const | MLN | [inline] |
| getMLNClauseInfos() const | MLN | [inline] |
| getNumClauses() const | MLN | [inline] |
| getNumHardClauses() const | MLN | [inline] |
| getPredIdToClausesMap() const | MLN | [inline] |
| isExistClause(const int &i) const | MLN | [inline] |
| isExistClause(const Clause *const &c) const | MLN | [inline] |
| isExistUniqueClause(const int &i) const | MLN | [inline] |
| isExistUniqueClause(const Clause *const &c) const | MLN | [inline] |
| MLN() | MLN | [inline] |
| printClausePriorMeans(ostream &out, const Domain *const &domain) | MLN | [inline] |
| printClausesWithWeights(ostream &out, const Domain *const &domain, int *const &startIdx=NULL, const bool &includeExistClauses=true, const bool &sortByLen=false, const bool &divWtAmongExistFormulas=false) const | MLN | [inline] |
| printFormulaPriorMeans(ostream &out) | MLN | [inline] |
| printMLN(ostream &out, const Domain *const &domain) | MLN | [inline] |
| printMLNClausesFormulas(ostream &out, const Domain *const &domain, const bool &includeIdx) | MLN | [inline] |
| printMLNNonExistFormulas(ostream &out, const Domain *const &domain) | MLN | [inline] |
| rehashClauses() | MLN | [inline] |
| removeAllClauses(Array< Clause * > *const &clauses) | MLN | [inline] |
| removeClause(const int &remIdx) | MLN | [inline] |
| removeClause(const Clause *const &c) | MLN | [inline] |
| setClauseInfoPriorMeansToClauseWts() | MLN | [inline] |
| setClauseWts(Array< double > &wts) | MLN | [inline] |
| setFormulaIsExistUnique(const string &formulaStr, const bool &isExistUnique) | MLN | [inline] |
| setFormulaIsHard(const string &formulaStr, const bool &isHard) | MLN | [inline] |
| setFormulaNumPreds(const string &formulaStr, const int &numPreds) | MLN | [inline] |
| setFormulaPriorMean(const string &formulaStr, const double &priorMean) | MLN | [inline] |
| setFormulaWt(const string &formulaStr, const double &wt) | MLN | [inline] |
| ~MLN() | MLN | [inline] |
