HashClauseCounter Class Reference

List of all members.

Public Member Functions
size_t	operator() (ClauseCounter *cc) const

---

Detailed Description

Definition at line 356 of file superpred.h.

---

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

• src/infer/superpred.h

---