CVCL::TheoryQuant::TypeComp Class Reference

List of all members.

Public Member Functions

Detailed Description

Definition at line 55 of file theory_quant.h.

Member Function Documentation

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

< needed for typeMap

Definition at line 57 of file theory_quant.h.

References CVCL::Type::getExpr().

The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:44 2006 for CVC Lite by  doxygen 1.4.4