Język

QuantifierType Wyliczenie

Definicja

Typ kwantyfikatora do rozwijania wyrażeń wyzwalaczy.

public enum QuantifierType
type QuantifierType = 
Public Enum QuantifierType
Dziedziczenie
QuantifierType

Pola

Nazwa Wartość Opis
All 0

W obrębie klauzuli zduplikuj dowolny predykat z zmienną dla każdego możliwego wiązania.

Any 1

Stwórz nową klauzulę dla każdego możliwego wiązania zmiennej.

Dotyczy