Quantifier class
Cuantificador para permitir la expansión en tiempo de ejecución de expresiones.
Constructores
| Quantifier(string, Quantifier |
Inicializa una nueva instancia de la clase |
Propiedades
| bindings | Posibles enlaces para la variable. |
| type | Tipo de cuantificador. |
| variable | Nombre de la variable que se va a reemplazar. |
Métodos
| to |
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
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.