ClauseCounter Class Reference

List of all members.

Public Member Functions
	ClauseCounter ()
	~ClauseCounter ()
int	getNumClauses ()
const Array< int > *	getClauseIds () const
const Array< double > *	getClauseCounts (int index) const
int	getClauseId (int index)
void	incrementCount (int clauseId, int predId, int clausePredCnt, double cnt)
size_t	getHashCode ()
ostream &	print (ostream &out)

---

Detailed Description

Definition at line 80 of file superpred.h.

---

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

• src/infer/superpred.h

---