Lingua

QuantifierType Enumerazione

Definizione

Tipo di quantificatore per espandere le espressioni di trigger.

public enum QuantifierType
type QuantifierType = 
Public Enum QuantifierType
Ereditarietà
QuantifierType

Campi

Nome Valore Descrizione
All 0

All'interno di una clausola, duplica qualsiasi predicato con variabile per ogni possibile vincolamento.

Any 1

Crea una nuova clausola per ogni possibile binding di variabile.

Si applica a