다음을 통해 공유


QuantifierType enum

트리거 식을 확장하기 위한 수량자의 형식입니다.

필드

all

절 내에서 가능한 각 바인딩에 대한 변수와 조건자를 복제합니다.

any

변수의 가능한 각 바인딩에 대한 새 절을 만듭니다.