| formula | FormulaAndClauses | |
| FormulaAndClauses(const string &fformula, const int &iindex, const bool &hhasExist) | FormulaAndClauses | [inline] |
| hasExist | FormulaAndClauses | |
| index | FormulaAndClauses | |
| indexClauses | FormulaAndClauses | |
| isExistUnique | FormulaAndClauses | |
| isHard | FormulaAndClauses | |
| numPreds | FormulaAndClauses | |
| priorMean | FormulaAndClauses | |
| wt | FormulaAndClauses | |
| ~FormulaAndClauses() | FormulaAndClauses | [inline] |
1.5.1