CVC3  2.4.1
Public Member Functions | List of all members
CVC3::TheoryQuant::TypeComp Class Reference

Public Member Functions

bool operator() (const Type t1, const Type t2) const
 < needed for typeMap

Detailed Description

Definition at line 192 of file theory_quant.h.

Member Function Documentation

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

< needed for typeMap

Definition at line 194 of file theory_quant.h.

References CVC3::Type::getExpr().


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