MonomialLess Class Reference

List of all members.

Public Member Functions

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:
Generated on Thu Apr 13 16:57:37 2006 for CVC Lite by  doxygen 1.4.4