Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാവുന്ന txt2lps കമാൻഡ് ആണിത്.
പട്ടിക:
NAME
txt2lps - ഒരു ലീനിയർ പ്രോസസിന്റെ mCRL2 സ്പെസിഫിക്കേഷൻ ഒരു LPS-ലേക്ക് വിവർത്തനം ചെയ്യുന്നു
സിനോപ്സിസ്
txt2lps [ഓപ്ഷൻ]... [INFILE [ഔട്ട്ഫിൽ]]
വിവരണം
mCRL2 സ്പെസിഫിക്കേഷൻ INFILE-ൽ വിവർത്തനം ചെയ്യുകയും തത്ഫലമായുണ്ടാകുന്ന LPS-നെ OUTFILE-ലേക്ക് എഴുതുകയും ചെയ്യുന്നു. എങ്കിൽ
OUTFILE നിലവിലില്ല, സാധാരണ ഔട്ട്പുട്ട് ഉപയോഗിക്കുന്നു. INFILE ഇല്ലെങ്കിൽ, സാധാരണ ഇൻപുട്ട്
ഉപയോഗിക്കുന്നു.
ഓപ്ഷനുകൾ
ഓപ്ഷൻ ഇനിപ്പറയുന്നവയിൽ ഏതെങ്കിലും ആകാം:
--സമയങ്ങൾ[=FILE]
FILE-ലേക്ക് സമയ അളവുകൾ കൂട്ടിച്ചേർക്കുക. എങ്കിൽ അളവുകൾ സാധാരണ പിശകിന് എഴുതിയിരിക്കുന്നു
ഫയലൊന്നും നൽകിയിട്ടില്ല
സ്റ്റാൻഡേർഡ് ഓപ്ഷനുകൾ:
-q, --നിശബ്ദമായി
മുന്നറിയിപ്പ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കരുത്
-v, --വാക്കുകൾ
ഹ്രസ്വമായ ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക
-d, --ഡീബഗ്
വിശദമായ ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക
--ലോഗ്-ലെവൽ=ലെവൽ
ലെവൽ ഉൾപ്പെടെയുള്ള ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക
-h, --സഹായിക്കൂ
സഹായ വിവരങ്ങൾ പ്രദർശിപ്പിക്കുക
--പതിപ്പ്
പതിപ്പ് വിവരങ്ങൾ പ്രദർശിപ്പിക്കുക
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് txt2lps ഓൺലൈനായി ഉപയോഗിക്കുക
