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

പട്ടിക:

NAME

LTSView - ലേബൽ ചെയ്ത ട്രാൻസിഷൻ സിസ്റ്റത്തിന്റെ 3D ഇന്ററാക്ടീവ് വിഷ്വലൈസേഷൻ

സിനോപ്സിസ്

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

വിവരണം

LTSView ആപ്ലിക്കേഷൻ ആരംഭിക്കുക. INFILE നൽകിയിട്ടുണ്ടെങ്കിൽ, INFILE-ലെ LTS ലോഡുചെയ്യപ്പെടും
അപേക്ഷ.

ഇൻപുട്ട് ഫോർമാറ്റ് നിർണ്ണയിക്കുന്നത് INFILE-ന്റെ ഉള്ളടക്കമാണ്. അത് പരാജയപ്പെട്ടാൽ, ഒരു ശ്രമം
ഫയൽ വിപുലീകരണത്തെ അടിസ്ഥാനമാക്കി ഇൻപുട്ട് ഫോർമാറ്റ് നിർബന്ധിതമാക്കാൻ ഉണ്ടാക്കി. പിന്തുണയ്‌ക്കുന്ന ഫോർമാറ്റുകൾ
ഫയൽ വിപുലീകരണങ്ങൾ ഇവയാണ്:
Aldebaran ഫോർമാറ്റ് (CADP; *.aut);
GraphViz ഫോർമാറ്റ് (*.dot);
ഫിനിറ്റ് സ്റ്റേറ്റ് മെഷീൻ ഫോർമാറ്റ് (*.fsm);
mCRL SVC ഫോർമാറ്റ് (*.svc);
mCRL2 ഫോർമാറ്റ് (*.lts).

ഓപ്ഷനുകൾ

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

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

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

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

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

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

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

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

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

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