ltsinfo - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

ltsinfo - ഒരു LTS-നെ കുറിച്ചുള്ള അടിസ്ഥാന വിവരങ്ങൾ പ്രദർശിപ്പിക്കുക

സിനോപ്സിസ്

ltsinfo [ഓപ്ഷൻ]... [INFILE]

വിവരണം

INFILE-ൽ ലേബൽ ചെയ്‌ത ട്രാൻസിഷൻ സിസ്റ്റത്തെ (LTS) കുറിച്ചുള്ള വിവരങ്ങൾ പ്രിന്റ് ചെയ്യുക. INFILE ഇല്ലെങ്കിൽ
വിതരണം ചെയ്തു, stdin ഉപയോഗിക്കുന്നു.

INFILE-ന്റെ ഫോർമാറ്റ് നിർണ്ണയിക്കുന്നത് അതിന്റെ ഉള്ളടക്കം അനുസരിച്ചാണ്. നിർബന്ധിക്കാൻ --in എന്ന ഓപ്ഷൻ ഉപയോഗിക്കാം
INFILE-നുള്ള ഫോർമാറ്റ്. പിന്തുണയ്ക്കുന്ന ഫോർമാറ്റുകൾ ഇവയാണ്:
Aldebaran ഫോർമാറ്റിനുള്ള (CADP) 'aut',
GraphViz ഫോർമാറ്റിനുള്ള 'dot' (ഇൻപുട്ട് ഫോർമാറ്റായി ഇനി പിന്തുണയ്ക്കില്ല),
ഫിനൈറ്റ് സ്റ്റേറ്റ് മെഷീൻ ഫോർമാറ്റിനുള്ള 'fsm', അല്ലെങ്കിൽ
mCRL2 LTS ഫോർമാറ്റിനുള്ള 'lts'

ഓപ്ഷനുകൾ

ഓപ്ഷൻ ഇനിപ്പറയുന്നവയിൽ ഏതെങ്കിലും ആകാം:

-iഫോർമാറ്റ്, --ഇൻ=ഫോർമാറ്റ്
ഇൻപുട്ട് ഫോർമാറ്റായി ഫോർമാറ്റ് ഉപയോഗിക്കുക

--സമയങ്ങൾ[=FILE]
FILE-ലേക്ക് സമയ അളവുകൾ കൂട്ടിച്ചേർക്കുക. എങ്കിൽ അളവുകൾ സാധാരണ പിശകിന് എഴുതിയിരിക്കുന്നു
ഫയലൊന്നും നൽകിയിട്ടില്ല

സ്റ്റാൻഡേർഡ് ഓപ്ഷനുകൾ:

-q, --നിശബ്ദമായി
മുന്നറിയിപ്പ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കരുത്

-v, --വാക്കുകൾ
ഹ്രസ്വമായ ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക

-d, --ഡീബഗ്
വിശദമായ ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക

--ലോഗ്-ലെവൽ=ലെവൽ
ലെവൽ ഉൾപ്പെടെയുള്ള ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക

-h, --സഹായിക്കൂ
സഹായ വിവരങ്ങൾ പ്രദർശിപ്പിക്കുക

--പതിപ്പ്
പതിപ്പ് വിവരങ്ങൾ പ്രദർശിപ്പിക്കുക

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് ltsinfo ഓൺലൈനായി ഉപയോഗിക്കുക