Quantifier class

Pacchetto:

adaptive-expressions

Quantificatore per consentire l'espansione di runtime delle espressioni.

Costruttori

Quantifier(string, QuantifierType, string[])

Inizializza una nuova istanza della classe Quantifier.

Proprietà

bindings	Possibili associazioni per la variabile.
type	Tipo di quantificatore.
variable	Nome della variabile da sostituire.

Metodi

toString()

Dettagli costruttore

Quantifier(string, QuantifierType, string[])

Inizializza una nuova istanza della classe Quantifier.

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

Parametri

variable

string

Nome della variabile da sostituire.

type

QuantifierType

Tipo di quantificatore.

bindings

string[]

Possibili associazioni per la variabile.

Dettagli proprietà

bindings

Possibili associazioni per la variabile.

bindings: string[]

Valore della proprietà

string[]

type

Tipo di quantificatore.

type: QuantifierType

Valore della proprietà

QuantifierType

variable

Nome della variabile da sostituire.

variable: string

Valore della proprietà

string

Dettagli metodo

toString()

function toString(): string

Restituisce

string

Stringa che rappresenta il quantificatore.