CVC3::TheoryQuant::TheoryQuant::TypeComp Class Reference

List of all members.

Public Member Functions

• bool operator() (const Type t1, const Type t2) const

  < needed for typeMap
  

---

Detailed Description

Definition at line 190 of file theory_quant.h.

---

Member Function Documentation

bool CVC3::TheoryQuant::TheoryQuant::TypeComp::operator()	(	const Type	t1,
		const Type	t2
	)			const [inline]

< needed for typeMap

Definition at line 192 of file theory_quant.h.

References CVC3::Type::getExpr().

---

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

• theory_quant.h