Il s'agit de la commande lpsbinary qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant 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
lpsbinary - remplace les variables de tri finies par des vecteurs de variables booléennes dans un LPS
SYNOPSIS
lpsbinaire [OPTION]... [DANS LE FICHIER [FICHIERS]]
DESCRIPTION
Remplacer les variables de tri fini par des vecteurs de variables booléennes dans le LPS dans INFILE et
écrivez le résultat dans OUTFILE. Si INFILE n'est pas présent, stdin est utilisé. Si OUTFILE n'est pas
présent, stdout est utilisé
OPTIONS
OPTION peut être l'un des éléments suivants :
-QNUM, --qlimite=NUM
limiter l'énumération des quantificateurs à NUM variables. (Par défaut NUM=1000, NUM=0 pour
illimité).
-rNom, --réscripteur=Nom
utiliser la stratégie de réécriture NOM : 'jitty' réécriture jitty (par défaut) 'jittyc' compilé
réécriture jitty 'jittyp' réécriture jitty avec prouveur
--horaires[=DOSSIER]
ajouter des mesures de synchronisation à FILE. Les mesures sont écrites avec l'erreur standard si
aucun FICHIER n'est fourni
Options standards :
-q, --silencieux
ne pas afficher les messages d'avertissement
-v, --verbeux
afficher de courts messages intermédiaires
-d, --déboguer
afficher des messages intermédiaires détaillés
--niveau de journal=NIVEAU
afficher des messages intermédiaires jusqu'au niveau inclus
-h, --Aidez-moi
afficher les informations d'aide
--version
afficher les informations de version
Utiliser lpsbinary en ligne à l'aide des services onworks.net
