| addConstantTuple(Array< int > *constants, int predId) | SuperPred | [inline] |
| clear(int predCnt) | SuperPred | [inline, static] |
| getClauseCounter() | SuperPred | [inline] |
| getConstantTuple(int tindex) | SuperPred | [inline] |
| getNumTuples() | SuperPred | [inline] |
| getParentSuperPredId() | SuperPred | [inline] |
| getPredId() | SuperPred | [inline] |
| getSuperPredCount(int predId) | SuperPred | [inline, static] |
| getSuperPredId() | SuperPred | [inline] |
| getSuperPredId(Array< int > *constants, int &predId) | SuperPred | [inline, static] |
| getSuperPreds(int predId) | SuperPred | [inline, static] |
| SuperPred(int &predId, ClauseCounter *const &clauseCounter, int parentSuperPredId) | SuperPred | [inline] |
| ~SuperPred() | SuperPred | [inline] |
1.5.1