CompareFunctionTerm Class Reference

List of all members.

Public Member Functions
bool	operator() (const FunctionTerm *_b1, const FunctionTerm *_b2) const

---

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

• elimination/ExistentialEliminator.cpp