"ist war" und "kann war sein"
In den meisten Fällen genügen einfache "Gleich-" oder "Ungleich-Beziehungen" um logische Zustände zu erzeugen oder auszuwerten, wie z.B. "Fehler = Nein", und bei Prüfungen genügen die Gesichtspunkte "ist wahr" oder "ist nicht wahr".
Manchmal sind aber auch komplexere Vergleichsoperatoren notwendig, deswegen bewertet LF‑ET einen logischen Ausdruck nicht nur dann als erfolgreich geprüft, wenn dieser "wahr ist", sondern auch, wenn dieser "wahr sein kann":
Beispiel 1
Ausdruck |
Verarbeitung oder Auswertung erfolgreich? |
|
|---|---|---|
Set A = B |
ja |
direkte Festlegung einer neuen Beziehung: A gleich B |
A < B |
nein |
A kann nicht kleiner B sein |
A <=B |
ja |
dieser Ausdruck ist auch wahr, wenn A gleich B ist |
A = B |
ja |
entspricht der gespeicherten Beziehung |
A <> B |
nein |
A kann nicht ungleich B sein |
A >= B |
ja |
dieser Ausdruck ist auch wahr, wenn A gleich B ist |
A > B |
nein |
A kann nicht größer als B sein |
Beispiel 2
Ausdruck |
Verarbeitung oder Auswertung erfolgreich? |
|
|---|---|---|
Set A < B |
ja |
direkte Festlegung einer neuen Beziehung: A kleiner B |
A < B |
ja |
entspricht der gespeicherten Beziehung |
A <=B |
ja |
dieser Ausdruck ist auch wahr, wenn A kleiner B ist |
A = B |
nein |
A kann nicht gleich B sein |
A <> B |
ja |
dieser Ausdruck ist auch wahr, wenn A kleiner B ist |
A >= B |
nein |
A kann nicht größer oder gleich B sein |
A > B |
nein |
A kann nicht größer als B sein |
Beispiel 3
Ausdruck |
Verarbeitung oder Auswertung erfolgreich? |
|
|---|---|---|
Set A <= B |
ja |
direkte Festlegung einer neuen Beziehung: A kleiner ODER gleich B |
A < B |
ja |
dieser Ausdruck ist wahr, wenn A kleiner B ist |
A <=B |
ja |
entspricht der gespeicherten Beziehung |
A = B |
ja |
dieser Ausdruck ist wahr, wenn A gleich B ist |
A <> B |
ja |
dieser Ausdruck ist wahr, wenn A kleiner B ist |
A >= B |
ja |
dieser Ausdruck ist wahr, wenn A gleich B ist |
A > B |
nein |
A kann nicht größer als B sein |