Il s'agit de la commande pbesparelm qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos nombreux 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
pbesparelm - supprimer les paramètres inutilisés d'un PBES
SYNOPSIS
pbesparelm [OPTION]... [DANS LE FICHIER [FICHIERS]]
DESCRIPTION
Lit un fichier contenant un PBES et lui applique une élimination de paramètres. Si OUTFILE n'est pas
présent, la sortie standard est utilisée. Si INFILE n'est pas présent, l'entrée standard est utilisée.
OPTIONS
OPTION peut être l'un des éléments suivants :
-iFormat, --dans=Format
utiliser le format d'entrée FORMAT : 'pbes' PBES au format interne 'pbes_text' PBES dans
format textuel interne 'texte' PBES en format textuel (mCRL2) 'bes' BES en interne
format 'bes_text' BES au format textuel interne 'cwi' BES au format CWI 'pgsolver'
BES au format PGsolver
-oFormat, --dehors=Format
utiliser le format de sortie FORMAT : 'pbes' PBES au format interne 'pbes_text' PBES dans
format textuel interne 'texte' PBES au format textuel (mCRL2)
--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
Utilisez pbesparelm en ligne avec les services onworks.net
