| addConstantTuple(Array< int > *const &constants) | SuperClause | [inline] |
| addNewConstantsAndIncrementCount(Array< int > *const &constants, double cnt) | SuperClause | [inline] |
| addOutputWt(const double &outputWt) | SuperClause | [inline] |
| checkIfImplicit(Array< int > *const &constants) | SuperClause | [inline] |
| createSuperClauseFromTemplate() | SuperClause | [inline] |
| getClause() | SuperClause | [inline] |
| getConstantTuple(int tindex) | SuperClause | [inline] |
| getImplicitCount(Array< int > *const &constants, Array< bool > *const &relevantIds, Array< bool > *const &predIds) | SuperClause | [inline] |
| getImplicitCountJoiningWithPred(int tindex, Predicate *pred) | SuperClause | [inline] |
| getNumImplicitTuples(int tindex) | SuperClause | [inline] |
| getNumTuples() | SuperClause | [inline] |
| getNumTuplesIncludingImplicit() | SuperClause | [inline] |
| getOutputWt() | SuperClause | [inline] |
| getParentSuperClauseId() | SuperClause | [inline] |
| getPredicateConstants(int tindex, Predicate *pred) | SuperClause | [inline] |
| getSuperClauseId() | SuperClause | [inline] |
| getTupleCount(int index) | SuperClause | [inline] |
| getTupleIndex(Array< int > *const &constants) | SuperClause | [inline] |
| getVarIdToCanonicalVarId() | SuperClause | [inline] |
| incrementTupleCount(Array< int > *const &constants, double cnt) | SuperClause | [inline] |
| init(Clause *const &clause, Array< Variable * > *const &eqVars, Array< int > *const &varIdToCanonicalVarId, bool useImplicit, int parentSuperClauseId) | SuperClause | [inline] |
| isUseImplicit() | SuperClause | [inline] |
| print(ostream &out) | SuperClause | [inline] |
| resetIndex() | SuperClause | [inline, static] |
| SuperClause(Clause *const &clause, Array< Variable * > *const &eqVars, Array< int > *const &varIdToCanonicalVarId, bool useImplicit, double outputWt) | SuperClause | [inline] |
| SuperClause(Clause *const &clause, Array< Variable * > *const &eqVars, Array< int > *const &varIdToCanonicalVarId, bool useImplicit, int parentSuperClauseId, double outputWt) | SuperClause | [inline] |
| ~SuperClause() | SuperClause | [inline] |
