Definition at line 190 of file theory_quant.h.
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().