Irrelevante Bedingungen
Eine Gruppe von Regeln mit gleichem Aktionsmuster kann verdichtet werden, wenn sich diese Regeln in nur einer Bedingung unterscheiden und in den Regeln alle Werte dieser Bedingung vorkommen. Unabhängig vom Wert der Bedingung werden also immer dieselben Aktionen ausgeführt. Die Bedingung ist deshalb für diese Gruppe von Regeln irrelevant und die Regel-Gruppe kann auf eine einzige Regel reduziert werden, wobei für die irrelevante Bedingung der Irrelevanzanzeiger "-" gesetzt wird.
LF‑ET erkennt, ob Regeln über irrelevante Bedingungen verdichtet werden können und überlässt dem Anwender die Entscheidung, ob alle Verdichtungsmöglichkeiten schrittweise einzeln, komplett oder nicht durchgeführt werden sollen:
