Il s'agit de la commande interpfilter qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks à l'aide de l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
interpfilter - filtrer les modèles avec des formules
SYNOPSIS
interpfiltre <fichier-formules>tester> <fichier-interprétations> >interprétations-passagères-
filet>
DESCRIPTION
Cette page de manuel documente brièvement les interpfiltre commander.
Étant donné un ensemble de formulesun tester à exécuter, et un flux de interprétations, interpfiltre
produit les interprétations qui passent le test.
ESSAIS
Les tests suivants sont disponibles.
tout_vrai
Toutes les formules sont vraies dans l'interprétation donnée.
un_vrai
Une formule vraie dans une interprétation donnée.
all_false
Toutes les formules sont fausses dans l'interprétation donnée.
certains_faux
Certaines formules fausses dans l'interprétation donnée.
Utiliser interpfilter en ligne à l'aide des services onworks.net