Jest to polecenie pbesparelm, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
pbesparelm - usuń nieużywane parametry z PBES
STRESZCZENIE
pbesparelm [OPCJA]... [W PLIKU [PLIK WYJŚCIOWY]]
OPIS
Odczytuje plik zawierający PBES i stosuje do niego eliminację parametrów. Jeśli plik OUTFILE nie jest
obecne, używane jest standardowe wyjście. Jeśli INFILE nie jest obecny, używane jest standardowe wejście.
OPCJE
OPCJA może być jednym z następujących:
-iFORMAT, --w=FORMAT
użyj formatu wejściowego FORMAT: 'pbes' PBES w formacie wewnętrznym 'pbes_text' PBES w
wewnętrzny format tekstowy 'text' PBES w formacie tekstowym (mCRL2) 'bes' BES w wewnętrznym
format 'bes_text' BES w wewnętrznym formacie tekstowym 'cwi' BES w formacie CWI 'pgsolver'
BES w formacie PGSolver
-oFORMAT, --na zewnątrz=FORMAT
użyj formatu wyjściowego FORMAT: 'pbes' PBES w formacie wewnętrznym 'pbes_text' PBES w
wewnętrzny format tekstowy 'text' PBES w formacie tekstowym (mCRL2)
--czasy[=FILE]
dołącz pomiary czasu do pliku FILE. Pomiary są zapisywane z błędem standardowym, jeśli
nie podano żadnego PLIKU
Opcje standardowe:
-q, --cichy
nie wyświetlaj komunikatów ostrzegawczych
-v, --gadatliwy
wyświetlaj krótkie komunikaty pośrednie
-d, --odpluskwić
wyświetlaj szczegółowe komunikaty pośrednie
--poziom-logarytmowania=POZIOM
wyświetlaj komunikaty pośrednie do poziomu włącznie
-h, --help
wyświetl informacje pomocy
--wersja
wyświetl informacje o wersji
Korzystaj z pbesparelm online, korzystając z usług onworks.net
