Compartir a través de

QuantifierType enum

  • Referencia
Paquete:
adaptive-expressions

Tipo de cuantificador para expandir expresiones de desencadenador.

Campos

all

Dentro de una cláusula , duplique cualquier predicado con variable para cada enlace posible.
any

Cree una nueva cláusula para cada posible enlace de variable.