MonomialLess Class Reference

List of all members.

Public Member Functions

• bool operator() (const Expr &e1, const Expr &e2) const
• bool operator() (const Expr &e1, const Expr &e2) const
• 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 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:

• arith_theorem_producer.cpp
• arith_theorem_producer3.cpp
• arith_theorem_producer_old.cpp