Partager via

Quantifier class

  • Référence
Paquet:
adaptive-expressions

Quantificateur pour permettre l’extension du runtime des expressions.

Constructeurs

Quantifier(string, QuantifierType, string[])

Initialise une nouvelle instance de la classe Quantifier.

Propriétés

bindings

Liaisons possibles pour la variable.
type

Type de quantificateur.
variable

Nom de la variable à remplacer.

Méthodes

toString()

Détails du constructeur

Quantifier(string, QuantifierType, string[])

Initialise une nouvelle instance de la classe Quantifier.

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

Paramètres

variable

string

Nom de la variable à remplacer.

type
QuantifierType

Type de quantificateur.

bindings

string[]

Liaisons possibles pour la variable.

Détails de la propriété

bindings

Liaisons possibles pour la variable.

bindings: string[]

Valeur de propriété

string[]

type

Type de quantificateur.

type: QuantifierType

Valeur de propriété

QuantifierType

variable

Nom de la variable à remplacer.

variable: string

Valeur de propriété

string

Détails de la méthode

toString() 

function toString(): string

Retours

string

Chaîne qui représente le quantificateur.