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
表示數量詞的字串。