QuantifierType enum
Quantifizierertyp für erweiternde Triggerausdrücke.
Felder
all | Duplizieren Sie innerhalb einer -Klausel jedes Prädikat mit Variable für jede mögliche Bindung. |
any | Erstellen Sie eine neue Klausel für jede mögliche Bindung von Variablen. |