Quantifier class
Квантификатор для разрешения расширения выражений во время выполнения.
Конструкторы
| Quantifier(string, Quantifier |
Инициализирует новый экземпляр класса |
Свойства
| bindings | Возможные привязки для переменной. |
| type | Тип квантификатора. |
| variable | Имя переменной для замены. |
Методы
| to |
Сведения о конструкторе
Quantifier(string, QuantifierType, string[])
Инициализирует новый экземпляр класса Quantifier.
new Quantifier(variable: string, type: QuantifierType, bindings: string[])
Параметры
- variable
-
string
Имя переменной для замены.
- type
- QuantifierType
Тип квантификатора.
- bindings
-
string[]
Возможные привязки для переменной.
Сведения о свойстве
bindings
Возможные привязки для переменной.
bindings: string[]
Значение свойства
string[]
type
variable
Имя переменной для замены.
variable: string
Значение свойства
string
Сведения о методе
toString()
function toString(): string
Возвращаемое значение
string
Строка, представляющая квантификатор.