Quantifier class

Paket:

adaptive-expressions

Quantifizierer zum Zulassen der Laufzeiterweiterung von Ausdrücken.

Konstruktoren

Quantifier(string, QuantifierType, string[])

Initialisiert eine neue Instanz der Quantifier-Klasse.

Eigenschaften

bindings	Mögliche Bindungen für Variable.
type	Typ des Quantifizierers.
variable	Name der zu ersetzenden Variablen.

Methoden

toString()

Details zum Konstruktor

Quantifier(string, QuantifierType, string[])

Initialisiert eine neue Instanz der Quantifier-Klasse.

new Quantifier(variable: string, type: QuantifierType, bindings: string[])

Parameter

variable

string

Name der zu ersetzenden Variablen.

type

QuantifierType

Typ des Quantifizierers.

bindings

string[]

Mögliche Bindungen für Variable.

Details zur Eigenschaft

bindings

Mögliche Bindungen für Variable.

bindings: string[]

Eigenschaftswert

string[]

type

Typ des Quantifizierers.

type: QuantifierType

Eigenschaftswert

QuantifierType

variable

Name der zu ersetzenden Variablen.

variable: string

Eigenschaftswert

string

Details zur Methode

toString()

function toString(): string

Gibt zurück

string

Eine Zeichenfolge, die den Quantifizierer darstellt.