QuantifierType enum
Tipo de cuantificador para expandir expresiones de desencadenador.
Campos
| all | Dentro de una cláusula , duplique cualquier predicado con variable para cada enlace posible. |
| any | Cree una nueva cláusula para cada posible enlace de variable. |