EqualPredicateTerm Class Reference

List of all members.

Public Member Functions
bool	operator() (PredicateTerm *const &pt1, PredicateTerm *const &pt2) const

---

Detailed Description

Definition at line 268 of file variable.h.

---

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

• src/infer/variable.h

---