Range-Check

Beispiel-Constraint:

x > -10 and x < 10


Switch:
  Case  x < 0
  Case  x == 0
  Case  X > 0


notwendig dafür:
-parametrisierbare Prädikate
-dynamisches Include
-dynamisches Exclude
Anfang weiter