QuantifierType enum

Tipo de quantificador para expandir expressões de gatilho.

Campos

all

Dentro de uma cláusula, duplique qualquer predicado com variável para cada associação possível.

any

Crie uma nova cláusula para cada possível associação de variável.