Questo è il comando lpsparunfold che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
lpsparunfold - spiega il parametro di processo di un LPS
SINOSSI
lpssparunfold [OPZIONE]... [INFILE [PROFILO]]
DESCRIZIONE
Spiega una serie di parametri di processo dati della specifica di processo lineare (LPS) in
INFILE e scrive il risultato in OUTFILE. Se INFILE non è presente, viene utilizzato stdin. Se
OUTFILE non è presente, viene utilizzato stdout.
VERSIONI
OPZIONE può essere uno dei seguenti:
-i[NUMERO], --indice=[NUMERO]
spiega i parametri di processo per indici separati da virgole
-l, --le leggi
genera leggi di distribuzione aggiuntive per la proiezione e determina le funzioni
-QNUM, --qlimit=NUM
limitare l'enumerazione dei quantificatori a variabili NUM. (Predefinito NUM=1000, NUM=0 per
illimitato).
-nNUM, --ripetere=NUM
ripeti spiega NUM volte
-rNOME, --riscrittore=NOME
usa la strategia di riscrittura NAME: 'jitty' jitty rewriting (predefinito) 'jittyc' compilato
riscrittura jitty 'jittyp' riscrittura jitty con prover
-sNOME, --ordinare=NOME
dispiega tutti i parametri di processo di tipo NAME
--tempi[=RISORSE]
aggiungere le misurazioni dei tempi a FILE. Le misurazioni vengono scritte nell'errore standard se
non viene fornito alcun FILE
Opzioni standard:
-q, --silenzioso
non visualizzare messaggi di avviso
-v, --verboso
visualizzare brevi messaggi intermedi
-d, - debug
visualizzare messaggi intermedi dettagliati
--livello-log=LIVELLO
visualizzare messaggi intermedi fino al livello compreso
-h, --Aiuto
visualizzare le informazioni di aiuto
--versione
visualizzare le informazioni sulla versione
Usa lpsparunfold online utilizzando i servizi onworks.net
