Freigeben über


QuantifierType Enum

Definition

Quantifizierertyp für erweiternde Triggerausdrücke.

public enum QuantifierType
type QuantifierType = 
Public Enum QuantifierType
Vererbung
QuantifierType

Felder

Name Wert Beschreibung
All 0

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

Any 1

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

Gilt für: