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.