Freigeben über


Quantifier Klasse

Definition

Quantifizierer zum Zulassen der Laufzeiterweiterung von Ausdrücken.

public class Quantifier
type Quantifier = class
Public Class Quantifier
Vererbung
Quantifier

Konstruktoren

Quantifier(String, QuantifierType, IEnumerable<String>)

Initialisiert eine neue Instanz der Quantifier-Klasse.

Eigenschaften

Bindings

Ruft mögliche Bindungen für Quantifizierer ab.

Type

Ruft den Quantifizierertyp ab.

Variable

Ruft den Namen der Variablen ab, die ersetzt wird.

Methoden

ToString()

Gibt eine Zeichenfolge zurück, die das aktuelle Objekt darstellt.

Gilt für: