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