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 CVC3::ArithTheoremProducer::greaterthan().

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

Definition at line 421 of file arith_theorem_producer3.cpp.

References CVC3::ArithTheoremProducer3::greaterthan().

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

Definition at line 422 of file arith_theorem_producer_old.cpp.

References CVC3::ArithTheoremProducerOld::greaterthan().


The documentation for this class was generated from the following files:
Generated on Wed Nov 18 16:14:15 2009 for CVC3 by  doxygen 1.5.2