語言

QuantifierType 列舉

定義

用於擴展觸發表達式的量詞類型。

public enum QuantifierType
type QuantifierType = 
Public Enum QuantifierType
繼承
QuantifierType

欄位

名稱 值 Description
All 0

在子句內,對應每個可能的綁定,重複任意謂詞,並帶有變數。

Any 1

為每個可能的變數綁定建立一個新子句。

適用於