| appendClauseIdxToClauseFormulaIdxs(const int &numCFIdxs, const int &numCIdxsPerCFIdx, const int &domainIdx) | IndexTranslator | [inline] |
| appendClauseIdxToClauseFormulaIdxs(const int &numCFIdxs, const int &numCIdxsPerCFIdx) | IndexTranslator | [inline] |
| assignNonTiedClauseWtsToMLNs(const double *const &wts) | IndexTranslator | [inline] |
| checkCIdxWtsGradsSize(const int &numAdded) | IndexTranslator | [inline] |
| createClauseIdxToClauseFormulaIdxsMap() | IndexTranslator | [inline] |
| getClauseFormulaIndexes(Array< int > &clauseIndexes, const int &domainIdx) | IndexTranslator | [inline] |
| getClauseFormulaWts(Array< double > &wts) const | IndexTranslator | [inline] |
| getClauseIdxToClauseFormulaIdxsPerDomain() const | IndexTranslator | [inline] |
| getClauseOrdering() const | IndexTranslator | [inline] |
| getExistFormulaOrdering() const | IndexTranslator | [inline] |
| getGradsPerDomain() const | IndexTranslator | [inline] |
| getNumClausesAndExistFormulas() const | IndexTranslator | [inline] |
| getWtsPerDomain() const | IndexTranslator | [inline] |
| IndexTranslator(const Array< MLN * > *const &mlns, const Array< Domain * > *const &domains) | IndexTranslator | [inline] |
| needIndexTranslator(const Array< MLN * > &mlns, const Array< Domain * > &domains) | IndexTranslator | [inline, static] |
| printClauseFormulaWts(ostream &out, const bool &includeIdx) | IndexTranslator | [inline] |
| printRelevantClausesFormulas(ostream &out, const Array< bool > &relevantClausesFormulas) | IndexTranslator | [inline] |
| removeClauseIdxToClauseFormulaIdxs(const int &numCFIdxs, const int &numCIdxsPerCFIdx, const int &domainIdx) | IndexTranslator | [inline] |
| removeClauseIdxToClauseFormulaIdxs(const int &numCFIdxs, const int &numCIdxsPerCFIdx) | IndexTranslator | [inline] |
| setPriorMeans(Array< double > &priorMeans) | IndexTranslator | [inline] |
| setRelevantClausesFormulas(Array< bool > &relevantClausesFormulas, const Array< bool > &relevantClausesInMLN0) | IndexTranslator | [inline] |
| updateClauseFormulaWtsInMLNs(const Array< double > &wts, const Array< Clause * > *const &appendedClauses, const Array< string > *const &appendedFormulas) | IndexTranslator | [inline] |
| ~IndexTranslator() | IndexTranslator | [inline] |