Freigeben über

QuantifierType enum

  • Referenz
Paket:
adaptive-expressions

Typ des Quantifizierers zum Erweitern von Triggerausdrücken.

Felder

all

Duplizieren Sie innerhalb einer Klausel jedes Prädikats mit Variable für jede mögliche Bindung.
any

Erstellen Sie eine neue Klausel für jede mögliche Bindung von Variablen.