SuperClause Class Reference

List of all members.

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 ()
SuperClausecreateSuperClauseFromTemplate ()
int getSuperClauseId ()
int getParentSuperClauseId ()
ClausegetClause ()
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 ()

Detailed Description

Definition at line 80 of file superclause.h.


The documentation for this class was generated from the following files:
Generated on Sun Jun 7 11:55:28 2009 for Alchemy by  doxygen 1.5.1