Dit is de opdracht lpsparunfold die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
lpsparunfold - ontvouwt de procesparameter van een LPS
KORTE INHOUD
lpsparontvouwen [OPTIE]... [IN BESTAND [UITBESTAND]]
PRODUCTBESCHRIJVING
Ontvouwt een reeks gegeven procesparameters van de lineaire processpecificatie (LPS) in
INFILE en schrijft het resultaat naar OUTFILE. Als INFILE niet aanwezig is, wordt stdin gebruikt. Als
OUTFILE is niet aanwezig, stdout wordt gebruikt.
OPTIES
OPTIE kan een van de volgende zijn:
-i[NUM], --inhoudsopgave=[NUM]
ontvouwt procesparameters voor door komma's gescheiden indices
-l, --wetten
genereert aanvullende distributiewetten voor projectie en bepaling van functies
-QNUM, --qlimiet=NUM
beperk de opsomming van kwantoren tot NUM variabelen. (Standaard NUM=1000, NUM=0 voor
onbeperkt).
-nNUM, --herhalen=NUM
herhaal NUM keer uitvouwen
-rNAAM, --herschrijver=NAAM
gebruik herschrijfstrategie NAAM: 'jitty' jitty herschrijven (standaard) 'jittyc' gecompileerd
jitty herschrijven 'jittyp' jitty herschrijven met spreekwoord
-sNAAM, --soort=NAAM
ontvouwt alle procesparameters van de soort NAAM
--tijden[=FILE]
timingmetingen toevoegen aan FILE. Metingen worden naar de standaardfout geschreven als
er is geen BESTAND aanwezig
Standaard opties:
-q, --stil
geen waarschuwingsberichten weergeven
-v, --uitgebreid
korte tussenberichten weergeven
-d, --debuggen
gedetailleerde tussenberichten weergeven
--Log niveau=NIVEAU
tussenberichten weergeven tot en met niveau
-h, --help
help informatie weergeven
--versie
versie-informatie weergeven
Gebruik lpsparunfold online met behulp van onworks.net-services