QuantifierType enum
Type de quantificateur pour développer des expressions de déclencheur.
Champs
all | Dans une clause, dupliquez tout prédicat avec une variable pour chaque liaison possible. |
any | Créez une clause pour chaque liaison possible de variable. |