CVC3
|
Public Member Functions | |
bool | operator() (const Type t1, const Type t2) const |
< needed for typeMap | |
Definition at line 192 of file theory_quant.h.
< needed for typeMap
Definition at line 194 of file theory_quant.h.
References CVC3::Type::getExpr().