Quantifier class

Paquete:

adaptive-expressions

Cuantificador para permitir la expansión en tiempo de ejecución de expresiones.

Constructores

Quantifier(string, QuantifierType, string[])

Inicializa una nueva instancia de la clase Quantifier.

Propiedades

bindings	Posibles enlaces para la variable.
type	Tipo de cuantificador.
variable	Nombre de la variable que se va a reemplazar.

Métodos

toString()

Detalles del constructor

Quantifier(string, QuantifierType, string[])

Inicializa una nueva instancia de la clase Quantifier.

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

Parámetros

variable

string

Nombre de la variable que se va a reemplazar.

type

QuantifierType

Tipo de cuantificador.

bindings

string[]

Posibles enlaces para la variable.

Detalles de las propiedades

bindings

Posibles enlaces para la variable.

bindings: string[]

Valor de propiedad

string[]

type

Tipo de cuantificador.

type: QuantifierType

Valor de propiedad

QuantifierType

variable

Nombre de la variable que se va a reemplazar.

variable: string

Valor de propiedad

string

Detalles del método

toString()

function toString(): string

Devoluciones

string

Cadena que representa el cuantificador.