次の方法で共有


QuantifierType 列挙型

定義

トリガー式を展開するための量指定子の型。

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

フィールド

名前 説明
All 0

句内で、可能なバインディングごとに、任意の述語を変数と共に複製します。

Any 1

変数の使用可能なバインドごとに新しい句を作成します。

適用対象