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

പട്ടിക:

NAME

lts2pbes - ഒരു LTS-നെ PBES-ലേക്ക് വിവർത്തനം ചെയ്യുന്നു

സിനോപ്സിസ്

lts2pbes [ഓപ്ഷൻ]... [INFILE [ഔട്ട്ഫിൽ]]

വിവരണം

INFILE-ൽ ഒരു LTS വിവർത്തനം ചെയ്യുകയും തത്ഫലമായുണ്ടാകുന്ന PBES OUTFILE-ലേക്ക് എഴുതുകയും ചെയ്യുന്നു. OUTFILE ഇല്ലെങ്കിൽ
നിലവിൽ, സാധാരണ ഔട്ട്പുട്ട് ഉപയോഗിക്കുന്നു. INFILE ഇല്ലെങ്കിൽ, സാധാരണ ഇൻപുട്ട് ഉപയോഗിക്കുന്നു.

ഓപ്ഷനുകൾ

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

-DFILE, --ഡാറ്റ=FILE
ഡാറ്റയും പ്രവർത്തന സ്പെസിഫിക്കേഷനും ആയി FILE ഉപയോഗിക്കുക. FILE ഒരു .mcrl2 ഫയൽ ആയിരിക്കണം
ഒരു init ക്ലോസ് അടങ്ങിയിട്ടില്ല.

-fFILE, --സൂത്രം=FILE
FILE-ൽ നിന്ന് സ്റ്റേറ്റ് ഫോർമുല ഉപയോഗിക്കുക

-lFILE, --lps=FILE
ഡാറ്റയ്ക്കും പ്രവർത്തന സ്പെസിഫിക്കേഷനും FILE ഉപയോഗിക്കുക. FILE ഒരു .lps ഫയൽ ആയിരിക്കണം.

-mFILE, --mcrl2=FILE
LTS-നുള്ള ഡാറ്റയും പ്രവർത്തന സ്പെസിഫിക്കേഷനും ആയി FILE ഉപയോഗിക്കുക. FILE ഒരു .mcrl2 ആയിരിക്കണം
ഫയൽ.

-oഫോർമാറ്റ്, --പുറത്ത്=ഫോർമാറ്റ്
ഔട്ട്‌പുട്ട് ഫോർമാറ്റ് ഫോർമാറ്റ് ഉപയോഗിക്കുക: 'pbes' PBES ആന്തരിക ഫോർമാറ്റിൽ 'pbes_text' PBES-ൽ
ആന്തരിക ടെക്‌സ്‌ച്വൽ ഫോർമാറ്റ് 'ടെക്‌സ്റ്റ്' PBES ടെക്‌സ്‌ച്വൽ (mCRL2) ഫോർമാറ്റിൽ

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

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

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

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

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

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

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

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

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