Dies ist der Befehlsklauselfilter, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
Clausefilter – Formeln mit Modellen filtern
ZUSAMMENFASSUNG
Klauselfilter <Interpretationsdatei>Test> <Formeldatei> >Übergabeformeln-Datei>
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die Klauselfilter Befehl.
Gegeben eine Menge von Interpretationen, eine Test auszuführen, und ein Strom von Formeln, Klauselfilter
gibt die Formeln aus, die den Test bestehen.
TESTS
Folgende Tests stehen zur Verfügung.
true_in_all
Formel wahr in allen Interpretationen.
true_in_some
Formel wahr in mancher Interpretation.
false_in_all
Formel in allen Interpretationen falsch.
false_in_some
Formel in mancher Interpretation falsch.
Verwenden Sie Clausefilter online über die Dienste von onworks.net
