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)