Quantifier class

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

Possíveis associações 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[]

Possíveis associações para variável.

Detalhes da propriedade

bindings

Possíveis associações para variável.

bindings: string[]

Valor da propriedade

string[]

type

Tipo de quantificador.

type: QuantifierType

Valor da propriedade

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.