Language

QuantifierType 列挙型

定義

トリガー表現を拡張するための量化子の種類。

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

フィールド

名前 値 説明
All 0

節内で、各バインディングに対して変数を持つ述語を複製します。

Any 1

変数の各結合に対して新しい節を作成します。

適用対象