Public Member Functions | |
SuperClause (Clause *const &clause, Array< Variable * > *const &eqVars, Array< int > *const &varIdToCanonicalVarId, bool useImplicit, double outputWt) | |
SuperClause (Clause *const &clause, Array< Variable * > *const &eqVars, Array< int > *const &varIdToCanonicalVarId, bool useImplicit, int parentSuperClauseId, double outputWt) | |
void | init (Clause *const &clause, Array< Variable * > *const &eqVars, Array< int > *const &varIdToCanonicalVarId, bool useImplicit, int parentSuperClauseId) |
~SuperClause () | |
SuperClause * | createSuperClauseFromTemplate () |
int | getSuperClauseId () |
int | getParentSuperClauseId () |
Clause * | getClause () |
double | getTupleCount (int index) |
int | getNumTuples () |
int | getTupleIndex (Array< int > *const &constants) |
Array< int > * | getConstantTuple (int tindex) |
Array< int > * | getVarIdToCanonicalVarId () |
bool | isUseImplicit () |
bool | checkIfImplicit (Array< int > *const &constants) |
void | incrementTupleCount (Array< int > *const &constants, double cnt) |
bool | addConstantTuple (Array< int > *const &constants) |
void | addNewConstantsAndIncrementCount (Array< int > *const &constants, double cnt) |
Array< int > * | getPredicateConstants (int tindex, Predicate *pred) |
int | getImplicitCount (Array< int > *const &constants, Array< bool > *const &relevantIds, Array< bool > *const &predIds) |
int | getImplicitCountJoiningWithPred (int tindex, Predicate *pred) |
int | getNumImplicitTuples (int tindex) |
int | getNumTuplesIncludingImplicit () |
double | getOutputWt () |
void | addOutputWt (const double &outputWt) |
ostream & | print (ostream &out) |
Static Public Member Functions | |
static void | resetIndex () |
Definition at line 80 of file superclause.h.