Partager via


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.