Konvertierung zur spezielleren Expression

generierte innere abstrakte Switch-Klasse

Expression-Vereinfachung Switch-Case-Expression:

ursprüngliche Constraint-Expression:
  ((Z or N) and (SCHREIB or LESE))

Spezialisierungs-Expression
 (Z and SCHREIB)

Zwischen-Expression:
  ((Z or N) and (SCHREIB or LESE)) and (Z and SCHREIB)

wird vereinfacht zu (bei Exclude Z-N und SCHREIB-LESE):
  (Z and SCHREIB)

(Beispiel FizzBuzz, SchiffeVersenken usw)
Anfang weiter