Public Member Functions | |
| 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 () | |
Public Attributes | |
| const ListObj * | formula |
| const string | formulaStr |
| const int | numPreds |
| const double * | wt |
| const double | defaultWt |
| const Domain * | domain |
| MLN * | mln |
| ZZVarNameToIdMap | varNameToIdMap |
| StringToIntMap | plusVarMap |
| const int | numAsterisk |
| Array< int > | uniqueVarIndexes |
| const bool | hasFullStop |
| const bool | readHardClauseWts |
| const bool | mustHaveWtOrFullStop |
Definition at line 341 of file folhelper.h.
1.5.1