ZZFormulaInfo Member List

This is the complete list of members for ZZFormulaInfo, including all inherited members.

defaultWt	ZZFormulaInfo
domain	ZZFormulaInfo
formula	ZZFormulaInfo
formulaStr	ZZFormulaInfo
hasFullStop	ZZFormulaInfo
isIndivisible	ZZFormulaInfo
mln	ZZFormulaInfo
mustHaveWtOrFullStop	ZZFormulaInfo
numAsterisk	ZZFormulaInfo
numPreds	ZZFormulaInfo
plusVarMap	ZZFormulaInfo
readHardClauseWts	ZZFormulaInfo
varNameToIdMap	ZZFormulaInfo
wt	ZZFormulaInfo
ZZFormulaInfo(const ListObj *const &fformula, const string &fformulaStr, const int &nnumPreds, const double *const &wwt, const double &ddefaultWt, const Domain *const &ddomain, MLN *const &mmln, const ZZVarNameToIdMap &vvarNameToIdMap, const StringToIntMap &pplusVarMap, const int &nnumAsterisk, const bool &hhasFullStop, const bool &rreadHardClauseWts, const bool &mmustHaveWtOrFullStop, const bool &iisIndivisible)	ZZFormulaInfo	[inline]
~ZZFormulaInfo()	ZZFormulaInfo	[inline]

---