| defaultWt | ZZFormulaInfo | |
| domain | ZZFormulaInfo | |
| formula | ZZFormulaInfo | |
| formulaStr | ZZFormulaInfo | |
| hasFullStop | ZZFormulaInfo | |
| mln | ZZFormulaInfo | |
| mustHaveWtOrFullStop | ZZFormulaInfo | |
| numAsterisk | ZZFormulaInfo | |
| numPreds | ZZFormulaInfo | |
| plusVarMap | ZZFormulaInfo | |
| readHardClauseWts | ZZFormulaInfo | |
| uniqueVarIndexes | 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 Array< int > &uuniqueVarIndexes, const bool &hhasFullStop, const bool &rreadHardClauseWts, const bool &mmustHaveWtOrFullStop) | ZZFormulaInfo | [inline] |
| ~ZZFormulaInfo() | ZZFormulaInfo | [inline] |
1.5.1