Quantifier class

Pacote:

adaptive-expressions

Quantificador para permitir a expansão de expressões em runtime.

Construtores

Quantifier(string, QuantifierType, string[])

Inicializa uma nova instância da classe Quantifier.

Propriedades

bindings	Associações possíveis para variável.
type	Tipo de quantificador.
variable	Nome da variável a ser substituída.

Métodos

toString()

Detalhes do construtor

Quantifier(string, QuantifierType, string[])

Inicializa uma nova instância da classe Quantifier.

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

Parâmetros

variable

string

Nome da variável a ser substituída.

type

QuantifierType

Tipo de quantificador.

bindings

string[]

Associações possíveis para variável.

Detalhes da propriedade

bindings

Associações possíveis para variável.

bindings: string[]

Valor da propriedade

string[]

type

Tipo de quantificador.

type: QuantifierType

Valor da propriedade

QuantifierType

variable

Nome da variável a ser substituída.

variable: string

Valor da propriedade

string

Detalhes do método

toString()

function toString(): string

Retornos

string

Uma cadeia de caracteres que representa o quantificador.