SuperPred Member List

This is the complete list of members for SuperPred, including all inherited members.

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]


Generated on Sun Jun 7 11:55:28 2009 for Alchemy by  doxygen 1.5.1