Regeln verdichten

Zum Verdichten brauchen keine Regeln markiert zu werden. Ein Klick auf die Verdichten-Schaltfläche in der Symbolleiste rule compress 24x24 oder auf das Verdichten-Kommando im Regel-Kon­text­menü startet die Verarbeitung.

Wenn alle Ver­dich­tungs­mög­lich­kei­ten ausgeschöpft sind, dann wird die Verarbeitung mit einer entsprechenden Meldung beendet:

index 01
 

LF‑ET prüft Ent­schei­dungs­ta­bellen auto­ma­tisch bei jeder Änderung. Ob Ver­dich­tungs­mög­lich­kei­ten vorhanden sind oder nicht, erkennt man daran, ob die Verdichten-Schaltfläche in der Symbolleiste rule compress 24x24 aktiv ist oder nicht.

Sollte die Ent­schei­dungs­ta­belle nach der Ver­dich­tung schwieriger zu verstehen sein als vorher (dieser Effekt kann manchmal auftreten), so kann mit der Rückgängig-Funktion undo 24x24 leicht der vorherige Zu­stand wieder hergestellt werden.

Es kann grundsätzlich nur bis zur Minimal-Tabelle (1 Bedingung, 2 Aktionen, 2 Regeln) verdichtet werden.

Die nun folgenden Kapitel erläutern kurz die unter­schied­lichen Verdichtungs­möglich­keiten, die LF‑ET beim Verdichten der Reihe nach durchläuft.