Condividi tramite

QuantifierType enum

  • Riferimento
Pacchetto:
adaptive-expressions

Tipo di quantificatore per l'espansione delle espressioni trigger.

Campi

all

All'interno di una clausola duplicare qualsiasi predicato con variabile per ogni possibile associazione.
any

Creare una nuova clausola per ogni possibile associazione di variabile.