MonomialLess Class Reference

List of all members.

Public Member Functions

• bool operator() (const Expr &e1, const Expr &e2) const

---

Detailed Description

Definition at line 425 of file arith_theorem_producer.cpp.

---

Member Function Documentation

bool MonomialLess::operator() (  const Expr &  e1, const Expr &  e2 )  const [inline]

Definition at line 427 of file arith_theorem_producer.cpp. References CVCL::ArithTheoremProducer::greaterthan().

---

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

• arith_theorem_producer.cpp

---