IndexTranslator Class Reference

List of all members.

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

---

Detailed Description

Definition at line 77 of file indextranslator.h.

---

The documentation for this class was generated from the following file:

• src/learnwts/indextranslator.h

---