Public Member Functions | |
| FormulaAndClauses (const string &fformula, const int &iindex, const bool &hhasExist) | |
| ~FormulaAndClauses () | |
Public Attributes | |
| string | formula |
| IndexClauseHashArray * | indexClauses |
| int | index |
| bool | hasExist |
| int | numPreds |
| bool | isHard |
| double | priorMean |
| double | wt |
| bool | isExistUnique |
Definition at line 148 of file mlnhelper.h.
1.5.1