To jest polecenie lpsparunfold, 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 Windows lub emulator online MAC OS
PROGRAM:
IMIĘ
lpsparunfold - rozwija parametr procesu LPS
STRESZCZENIE
lpsparunfold [OPCJA]... [W PLIKU [PLIK WYJŚCIOWY]]
OPIS
Rozwija zbiór danych parametrów procesu specyfikacji procesu liniowego (LPS) w
INFILE i zapisuje wynik do OUTFILE. Jeśli INFILE nie jest obecny, używane jest standardowe wejście. Gdyby
Brak OUTFILE, używane jest standardowe wyjście.
OPCJE
OPCJA może być jednym z następujących:
-i[LICZBA], --indeks=[LICZBA]
rozwija parametry procesu dla indeksów oddzielonych przecinkami
-l, --prawa
generuje dodatkowe prawa rozkładu do rzutowania i wyznacza funkcje
-QNUM, --qlimit=NUM
ograniczyć wyliczanie kwantyfikatorów do NUM zmiennych. (Domyślnie NUM=1000, NUM=0 dla
Nieograniczony).
-nNUM, --powtarzać=NUM
powtórz rozwiń NUM razy
-rIMIĘ, --przepisujący=IMIĘ
użyj strategii przepisywania NAZWA: 'jitty' jitty przepisywanie (domyślnie) 'jittyc' skompilowane
jitty przepisywanie 'jittyp' jitty przepisywanie z prover
-sIMIĘ, --sortować=IMIĘ
rozwija wszystkie parametry procesu typu NAZWA
--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 lpsparunfold online za pomocą usług onworks.net