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 ()
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 ()

---

Detailed Description

Definition at line 80 of file superclause.h.

---

The documentation for this class was generated from the following files:

• src/infer/superclause.h
• src/infer/superclause.cpp

---