Freigeben über


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.