Quantifier Klasse
Definition
Wichtig
Einige Informationen beziehen sich auf Vorabversionen, die vor dem Release ggf. grundlegend überarbeitet werden. Microsoft übernimmt hinsichtlich der hier bereitgestellten Informationen keine Gewährleistungen, seien sie ausdrücklich oder konkludent.
Quantor zur Erlaubnis der Laufzeiterweiterung von Ausdrücken.
public class Quantifiertype Quantifier = classPublic Class Quantifier- Vererbung
-
Quantifier
Konstruktoren
| Name | Beschreibung |
|---|---|
| Quantifier(String, QuantifierType, IEnumerable<String>) |
Initialisiert eine neue Instanz der Quantifier-Klasse. |
Eigenschaften
| Name | Beschreibung |
|---|---|
| Bindings |
Es gibt mögliche Bindungen für den Quantor. |
| Type |
Das bekommt eine Art Quantor. |
| Variable |
Erhält den Namen der Variable, die ersetzt wird. |
Methoden
| Name | Beschreibung |
|---|---|
| ToString() |
Gibt eine Zeichenfolge zurück, die das aktuelle Objekt darstellt. |