次の方法で共有


QuantifierType enum

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

フィールド

all

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

any

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