| This class represents the translation rule for Quantifiers.
They are supported only in AUFLIA, not in QF_AUFLIA.
A Quantifier is translated into a QuantifierFormula, if it is an ALL or
an EXISTS quantifier. Thereby, its bound variables will also be translated
author: akuwertz version: 1.2, 11/09/2006 (Added type predicates for quantified variables) |