Il s'agit du filtre de clause de commande qui peut être exécuté 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
clausefilter - filtrer les formules avec des modèles
SYNOPSIS
filtre de clause <fichier-interprétations>tester> <fichier-formules> >passer-formules-fichier>
DESCRIPTION
Cette page de manuel documente brièvement les filtre de clause commander.
Étant donné un ensemble de interprétationsun tester à exécuter, et un flux de formules, filtre de clause
génère les formules qui passent le test.
ESSAIS
Les tests suivants sont disponibles.
vrai_en_tout
Formule vraie dans toutes les interprétations.
vrai_in_some
Formule vraie dans une certaine interprétation.
faux_dans_tous
Formule fausse dans toutes les interprétations.
faux_dans_certains
Formule fausse dans certaines interprétations.
Utiliser clausefilter en ligne à l'aide des services onworks.net