Quantifier class
Quantificador para permitir a expansão de expressões em runtime.
Construtores
| Quantifier(string, Quantifier |
Inicializa uma nova instância da classe |
Propriedades
| bindings | Associações possíveis para variável. |
| type | Tipo de quantificador. |
| variable | Nome da variável a ser substituída. |
Métodos
| to |
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
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.