AnglaisFrançaisEspagnol

Exécutez les serveurs | Ubuntu > | Fedora > |


Icône de favori OnWorks

interpfilter - En ligne dans le Cloud

Exécutez interpfilter dans le fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

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:

PRÉ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 formulesla 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.

some_false
Certaines formules fausses dans l'interprétation donnée.

Utiliser interpfilter en ligne à l'aide des services onworks.net


Ad


Ad