Public Member Functions

CVC3::TheoryQuant::TypeComp Class Reference

List of all members.

Public Member Functions

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: