Quantifier class

包:

adaptive-expressions

用于允许表达式运行时扩展的限定符。

构造函数

Quantifier(string, QuantifierType, string[])

初始化 Quantifier 类的新实例。

属性

bindings	变量的可能绑定。
type	限定符的类型。
variable	要替换的变量的名称。

方法

toString()

构造函数详细信息

Quantifier(string, QuantifierType, string[])

初始化 Quantifier 类的新实例。

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

参数

variable

string

要替换的变量的名称。

type

QuantifierType

限定符的类型。

bindings

string[]

变量的可能绑定。

属性详细信息

bindings

变量的可能绑定。

bindings: string[]

属性值

string[]

type

限定符的类型。

type: QuantifierType

属性值

QuantifierType

variable

要替换的变量的名称。

variable: string

属性值

string

方法详细信息

toString()

function toString(): string

返回

string

一个表示限定符的字符串。