Definition at line 190 of file theory_quant.h.
[inline]
< needed for typeMap
Definition at line 192 of file theory_quant.h.
References CVC3::Type::getExpr().