QuantifierType 枚举

定义

用于扩展触发器表达式的限定符的类型。

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

字段

All 0

在 子句中,为每个可能的绑定复制具有变量的任何谓词。

Any 1

为每个可能的变量绑定创建新子句。

适用于