SuperPred Class Reference

List of all members.

Public Member Functions
	SuperPred (int &predId, ClauseCounter *const &clauseCounter, int parentSuperPredId)
	~SuperPred ()
int	getPredId ()
Array< int > *	getConstantTuple (int tindex)
int	getSuperPredId ()
int	getParentSuperPredId ()
int	getNumTuples ()
const ClauseCounter *	getClauseCounter ()
void	addConstantTuple (Array< int > *constants, int predId)
Static Public Member Functions
static int	getSuperPredCount (int predId)
static Array< SuperPred * > *	getSuperPreds (int predId)
static void	clear (int predCnt)
static int	getSuperPredId (Array< int > *constants, int &predId)

---

Detailed Description

Definition at line 220 of file superpred.h.

---

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

• src/infer/superpred.h
• src/infer/superpred.cpp

---