共用方式為


QuantifierType 列舉

定義

展開觸發程式運算式的數量詞類型。

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

欄位

All 0

在 子句內,針對每個可能的系結,使用 變數複製任何述詞。

Any 1

為每個可能的變數系結建立新的 子句。

適用於