TermComparator Class Reference

List of all members.

Public Member Functions
bool	operator() (const Term *const &_q1, const Term *const &_q2)

---

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

• solver/InteractionManager.h