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. |