Dies ist der Befehl interpfilter, 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
interpfilter - Modelle mit Formeln filtern
ZUSAMMENFASSUNG
Interpfilter <Formeldatei>Test> <Interpretationsdatei> >vorübergehende Interpretationen
Datei>
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die Interpfilter Befehl.
Gegeben eine Menge von Formeln herunter ,ein Test auszuführen, und ein Strom von Interpretationen, Interpfilter
gibt die Interpretationen aus, die den Test bestehen.
TESTS
Folgende Tests stehen zur Verfügung.
alles wahr
Alle Formeln sind in der gegebenen Interpretation wahr.
some_true
Einige Formeln sind in der gegebenen Interpretation wahr.
all_false
Alle Formeln sind in der gegebenen Interpretation falsch.
some_false
Einige Formeln sind in der gegebenen Interpretation falsch.
Verwenden Sie Interpfilter online über die Dienste von onworks.net
