Konvertierung zur spezielleren Expression

generierte innere abstrakte Switch-Klasse

Expression-Vereinfachung Default-Zweig:

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

Spezialisierungs-Expressions:
 (Z and SCHREIB)
 (Z and LESE)
 (N and SCHREIB)
 (N and LESE)    // wird weggelassen damit Default generiert wird

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

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

(Beispiel FizzBuzz, SchiffeVersenken usw)
Anfang weiter