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

പട്ടിക:

NAME

pbes2bool - ഒരു PBES-ൽ നിന്ന് ഒരു BES സൃഷ്ടിച്ച് അത് പരിഹരിക്കുക.

സിനോപ്സിസ്

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

വിവരണം

INFILE-ൽ നിന്ന് (P)BES പരിഹരിക്കുന്നു. INFILE ഇല്ലെങ്കിൽ, stdin ഉപയോഗിക്കുന്നു.

ഓപ്ഷനുകൾ

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

-c, --കൗണ്ടർ
അറ്റത്ത് ഇടത് വശത്ത് ദൃഷ്ടാന്തങ്ങളോടെ ലേബൽ ചെയ്‌തിരിക്കുന്ന ഒരു മരം അച്ചടിക്കുക
സമവാക്യങ്ങൾ; ഈ വൃക്ഷം pbes2bool എങ്ങനെ സാധുതയിൽ വന്നു എന്നതിന്റെ സൂചനയാണ്
PBES ന്റെ അസാധുത

-eലെവൽ, --മായ്ക്കുക=ലെവൽ
Bes വേരിയബിളുകൾ നീക്കം ചെയ്യാൻ റിമൂവ് ലെവൽ ലെവൽ ഉപയോഗിക്കുക 'ഒന്നുമില്ല' ജനറേറ്റഡ് ബെസ് നീക്കം ചെയ്യരുത്
വേരിയബിളുകൾ. ഇത് മെമ്മറിയുടെ അമിതമായ ഉപയോഗത്തിന് കാരണമാകും. (സ്ഥിരസ്ഥിതി) 'ചിലത്' നീക്കം ചെയ്യുക
ജനറേറ്റഡ് bes വേരിയബിളുകൾ ഉപയോഗിക്കില്ല, അതിന്റെ വലതുവശത്ത് ഒഴികെ
സമവാക്യം ശരിയോ തെറ്റോ ആണ്. വേരിയബിളുകളുടെ rhss വീണ്ടും കണക്കാക്കേണ്ടതുണ്ട്, എങ്കിൽ
വീണ്ടും കണ്ടുമുട്ടി, അത് തികച്ചും സാധാരണമാണ്. 'എല്ലാം' എല്ലാ bes വേരിയബിളും നീക്കം ചെയ്യുക
ഒരു സമവാക്യത്തിലും ഇനി ഉപയോഗിക്കില്ല. ഇത് തികച്ചും മെമ്മറി കാര്യക്ഷമമാണ്, പക്ഷേ അത് ആകാം
നീക്കം ചെയ്ത bes വേരിയബിളുകളുടെ rhss ആയിരിക്കണം എന്നതിനാൽ വളരെ സമയമെടുക്കും
പലപ്പോഴും വീണ്ടും കണക്കാക്കുന്നു.

-H, --ഹാഷ്‌ടേബിളുകൾ
bes സമവാക്യങ്ങളിൽ പകരം വയ്ക്കുമ്പോൾ ഹാഷ്‌ടേബിളുകൾ ഉപയോഗിക്കുക, ആന്തരികമായി വിവർത്തനം ചെയ്യുക
ബൈനറി ഡിസിഷൻ ഡയഗ്രാമുകളിലേക്കുള്ള എക്സ്പ്രഷനുകൾ (നിരുത്സാഹപ്പെടുത്തി, പ്രകടനം കാരണം)

-iഫോർമാറ്റ്, --ഇൻ=ഫോർമാറ്റ്
ഇൻപുട്ട് ഫോർമാറ്റ് ഫോർമാറ്റ് ഉപയോഗിക്കുക: 'pbes' PBES ആന്തരിക ഫോർമാറ്റിൽ 'pbes_text' PBES-ൽ
ആന്തരിക ടെക്‌സ്‌ച്വൽ ഫോർമാറ്റ് 'ടെക്‌സ്റ്റ്' PBES ടെക്‌സ്‌ച്വൽ (mCRL2) ഫോർമാറ്റ് 'bes' BES ഇന്റേണലിൽ
ആന്തരിക ടെക്‌സ്‌ച്വൽ ഫോർമാറ്റിൽ 'bes_text' BES ഫോർമാറ്റ് ചെയ്യുക 'cwi' BES CWI ഫോർമാറ്റിൽ 'pgsolver'
PGSolver ഫോർമാറ്റിൽ BES

-oഫോർമാറ്റ്, --ഔട്ട്പുട്ട്=ഫോർമാറ്റ്
ഔട്ട്‌പുട്ട് ഫോർമാറ്റ് ഫോർമാറ്റ് ഉപയോഗിക്കുക (ഈ ഓപ്ഷൻ ഒഴിവാക്കിയിരിക്കുന്നു. pbes2bes ടൂൾ ഉപയോഗിക്കുക
പകരം).

-QNUMBER, --ക്ലിമിറ്റ്=NUMBER
ക്വാണ്ടിഫയറുകളുടെ എണ്ണം NUM വേരിയബിളുകളായി പരിമിതപ്പെടുത്തുക. (ഡിഫോൾട്ട് NUM=1000, NUM=0 ഇതിനായി
പരിധിയില്ലാത്തത്).

-rNAME, --റീറൈറ്റർ=NAME
റീറൈറ്റിംഗ് സ്ട്രാറ്റജി ഉപയോഗിക്കുക
jitty rewriting 'jittyp' ജിട്ടി തിരുത്തിയെഴുതുന്നു

-zതിരയൽ, --തിരയുക=തിരയൽ
തിരയൽ തന്ത്രം ഉപയോഗിക്കുക SEarch: 'breadth-fist' എന്നതിന്റെ വലതുഭാഗം കണക്കാക്കുക
ആദ്യം വരുന്നവർക്ക് ആദ്യം നൽകുന്ന അടിസ്ഥാനത്തിലുള്ള ബൂളിയൻ വേരിയബിളുകൾ. ഇത് എയുമായി താരതമ്യപ്പെടുത്താവുന്നതാണ്
വീതി-ആദ്യ തിരയൽ. എതിർ ഉദാഹരണങ്ങൾ സൃഷ്ടിക്കുന്നതിന് ഇത് നല്ലതാണ്. (സ്ഥിരസ്ഥിതി)
'depth-first' ഒരു ബൂളിയൻ വേരിയബിളിന്റെ വലത് വശം അവസാനമായി കണക്കാക്കുക
ജനറേറ്റഡ് വേരിയബിൾ ആദ്യം അന്വേഷിക്കുന്നു. ഇത് ഒരു ആഴം-ആദ്യത്തോട് യോജിക്കുന്നു
തിരയുക. സാധുതയുള്ളപ്പോൾ, വീതി-ആദ്യത്തെ തിരയലിനെ ഇത് ഗണ്യമായി മറികടക്കും
ഒരു വലിയ ആഴത്തിന് ശേഷം ഒരു ഫോർമുല നിർണ്ണയിക്കപ്പെടുന്നു. വീതി-ആദ്യം 'b' ഷോർട്ട് ഹാൻഡ്.
ഡെപ്ത്-ഫസ്റ്റ് എന്നതിനുള്ള 'd' ഷോർട്ട് ഹാൻഡ്.

-sസ്ട്രാറ്റ്, --തന്ത്രം=സ്ട്രാറ്റ്
സബ്സ്റ്റിറ്റ്യൂഷൻ സ്ട്രാറ്റജി ഉപയോഗിക്കുക STRAT: '0' എല്ലാ ബൂളിയൻ സമവാക്യങ്ങളും കണക്കാക്കുക
ഒപ്റ്റിമൈസേഷൻ ഇല്ലാതെ പ്രാരംഭ അവസ്ഥയിൽ നിന്ന് എത്തി. ഇതാണ് ഏറ്റവും കൂടുതൽ ഡാറ്റ
ഓരോ ജനറേറ്റഡ് സമവാക്യത്തിനും കാര്യക്ഷമമായ ഓപ്ഷൻ. (സ്ഥിരസ്ഥിതി) '1' ഉടനടി ഒപ്റ്റിമൈസ് ചെയ്യുക
ശരിയാണെന്ന് ഇതിനകം അന്വേഷിച്ച വേരിയബിളുകൾക്ക് വലത് വശങ്ങൾ പകരം വയ്ക്കുന്നു
അല്ലെങ്കിൽ ഒരു പദപ്രയോഗം സൃഷ്ടിക്കുമ്പോൾ തെറ്റ്. ഇത് 0. '2' ഇഞ്ച് പോലെ മെമ്മറി കാര്യക്ഷമമാണ്
1 ന് പുറമേ, ശരിയോ തെറ്റോ ആയ വേരിയബിളുകൾ ഇതിനകം തന്നെ മാറ്റിസ്ഥാപിക്കുക
വലത് വശം സൃഷ്ടിച്ചു. ചില വേരിയബിളുകൾ ലഭ്യമല്ലെന്ന് ഇത് അർത്ഥമാക്കാം
(ഉദാ. X0, X0 എന്നിവയിൽ X1, X1 തെറ്റായി മാറുമ്പോൾ, X0 മറ്റൊരിടത്തും സംഭവിക്കില്ലെന്ന് കരുതുക.
ഏതൊക്കെ വേരിയബിളുകൾ ലഭ്യമല്ലാത്തതിനാൽ എത്തിച്ചേരാനാകാത്തതായി മാറിയെന്ന് നിലനിർത്തും
അന്വേഷിക്കണം. PBES അനുസരിച്ച്, ഇത് വലിപ്പം കുറയ്ക്കും
BES ഗണ്യമായി ജനറേറ്റ് ചെയ്‌തു, പക്ഷേ ഒരു വലിയ മെമ്മറി ഫുട്‌പ്രിന്റ് ആവശ്യമാണ്. '3' ഇൻ
2 കൂടാതെ, ജനറേറ്റഡ് വേരിയബിളുകൾ ഒരു ലൂപ്പിൽ സംഭവിക്കുന്നുണ്ടോ എന്ന് അന്വേഷിക്കുക,
ഫിക്സഡ് പോയിന്റ് ചിഹ്നത്തെ ആശ്രയിച്ച് അവ ശരിയോ തെറ്റോ ആയി സജ്ജമാക്കാൻ കഴിയും.
ഇത് ഒരു സമവാക്യം സൃഷ്ടിക്കാൻ ആവശ്യമായ സമയം ഗണ്യമായി വർദ്ധിപ്പിക്കും.

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

-u, --unused_data
ഡാറ്റ സ്പെസിഫിക്കേഷന്റെ ഉപയോഗിക്കാത്ത ഭാഗങ്ങൾ നീക്കം ചെയ്യരുത്

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

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

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

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

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

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

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

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