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] |