語言

Quantifier 類別

定義

允許運算式執行時擴展的量詞。

public class Quantifier
type Quantifier = class
Public Class Quantifier
繼承
Quantifier

建構函式

名稱 Description
Quantifier(String, QuantifierType, IEnumerable<String>)

初始化 Quantifier 類別的新執行個體。

屬性

名稱 Description
Bindings

可以獲得可能的量詞綁定。

Type

獲得量詞類型的類型。

Variable

會取得將被替換的變數名稱。

方法

名稱 Description
ToString()

傳回表示目前 物件的字串。

適用於