pbes2bes - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

pbes2bes - PBES से BES उत्पन्न करें।

SYNOPSIS

pbes2bes [विकल्प]...[फाइल मैं [बाहरी]]

वर्णन

INFILE से PBES पढ़ता है और OUTFILE के समकक्ष BES लिखता है। यदि INFILE नहीं है
वर्तमान में, stdin का उपयोग किया जाता है। यदि OUTFILE मौजूद नहीं है, तो stdout का उपयोग किया जाता है।

विकल्प

विकल्प निम्नलिखित में से कोई भी हो सकता है:

-eLEVEL, --मिटाना=LEVEL
बीईएस वेरिएबल 'कोई नहीं' को हटाने के लिए रिमूव लेवल लेवल का उपयोग करें, जेनरेट किए गए बीईएस को न हटाएं
चर। इससे मेमोरी का अत्यधिक उपयोग हो सकता है. (डिफ़ॉल्ट) 'कुछ' हटाएँ
उत्पन्न वेरिएबल होते हैं जिनका उपयोग नहीं किया जाता है, सिवाय इसके कि इसके दाहिने हाथ की ओर
समीकरण सत्य है या असत्य. यदि चरों के rhss की पुनर्गणना की जानी चाहिए
दोबारा सामना हुआ, जो बिल्कुल सामान्य है। 'सभी' प्रत्येक वेरिएबल को हटा दें
अब किसी भी समीकरण में उपयोग नहीं किया जाता। यह काफी मेमोरी कुशल है, लेकिन यह हो सकता है
हटाए गए बीईएस चर के आरएचएस के कारण बहुत समय लग सकता है
अक्सर पुनर्गणना की जाती है।

-H, --हैशटेबल्स
बेस समीकरणों में प्रतिस्थापित करते समय हैशटेबल का उपयोग करें, और आंतरिक अनुवाद करें
द्विआधारी निर्णय आरेखों की अभिव्यक्तियाँ (प्रदर्शन के कारण हतोत्साहित)

-iFORMAT, --में=FORMAT
इनपुट प्रारूप का उपयोग करें FORMAT: आंतरिक प्रारूप में 'pbes' PBES 'pbes_text' PBES में
आंतरिक पाठ्य प्रारूप 'पाठ' पाठ्य में PBES (mCRL2) प्रारूप 'bes' आंतरिक में BES
प्रारूप 'bes_text' आंतरिक पाठ प्रारूप में BES 'cwi' CWI प्रारूप में BES 'pgsolver'
पीजी सॉल्वर प्रारूप में बीईएस

-oFORMAT, --बाहर=FORMAT
आउटपुट स्वरूप का उपयोग करें FORMAT: आंतरिक स्वरूप में 'pbes' PBES 'pbes_text' PBES में
आंतरिक पाठ्य प्रारूप 'पाठ' पाठ्य में PBES (mCRL2) प्रारूप 'bes' आंतरिक में BES
प्रारूप 'bes_text' आंतरिक पाठ प्रारूप में BES 'cwi' CWI प्रारूप में BES 'pgsolver'
पीजी सॉल्वर प्रारूप में बीईएस

-QNUM, --qlimit=NUM
परिमाणकों की गणना को NUM चरों तक सीमित करें। (डिफ़ॉल्ट NUM=1000, NUM=0 for
असीमित)।

-rनाम, --रीराइटर=नाम
पुनर्लेखन रणनीति का उपयोग करें NAME: 'जिट्टी' जिट्टी रीराइटिंग (डिफ़ॉल्ट) 'जिटिक' संकलित
जिट्टी पुनर्लेखन 'जिट्टीप' कहावत के साथ जिट्टी पुनर्लेखन

-zखोजे, --खोज=खोजे
खोज रणनीति का उपयोग करें खोज: 'चौड़ाई-पहले' के दाहिने हाथ की गणना करें
पहले आओ पहले पाओ के आधार पर बूलियन वैरिएबल। यह ए के साथ तुलनीय है
पहले चौड़ाई खोजो। यह काउंटर उदाहरण उत्पन्न करने के लिए अच्छा है। (गलती करना)
'गहराई-पहले' बूलियन चर के दाहिने हाथ की गणना करें जहां अंतिम
उत्पन्न चर की पहले जांच की जाती है। यह गहराई-प्रथम से मेल खाता है
खोजना। इसकी वैधता होने पर यह चौड़ाई-पहली खोज से काफी बेहतर प्रदर्शन कर सकता है
अधिक गहराई के बाद एक सूत्र निर्धारित किया जाता है। 'बी' चौड़ाई के लिए छोटा हाथ-प्रथम।
'डी' गहराई के लिए लघु हाथ-प्रथम।

-sSTRAT, --रणनीति=STRAT
प्रतिस्थापन रणनीति का उपयोग करें STRAT: '0' सभी बूलियन समीकरणों की गणना करें जो हो सकते हैं
अनुकूलन के बिना, प्रारंभिक अवस्था से पहुँच गया। यह सबसे ज्यादा डेटा है
उत्पन्न समीकरण के अनुसार कुशल विकल्प। (डिफ़ॉल्ट) '1' तुरंत अनुकूलित करें
पहले से जांचे गए चरों के लिए दाएँ पक्ष को प्रतिस्थापित करना जो सत्य हैं
या अभिव्यक्ति उत्पन्न करते समय गलत। यह 0. '2' इंच जितनी मेमोरी कुशल है
1 के अतिरिक्त, उन चरों को भी प्रतिस्थापित करें जो सत्य या असत्य हैं
दाहिने हाथ की ओर उत्पन्न. इसका मतलब यह हो सकता है कि कुछ चर पहुंच से बाहर हो जाएं
(उदाहरण के लिए X0 और X0 में X1, जब X1 गलत हो जाता है, यह मानते हुए कि X0 कहीं और नहीं होता है।
यह बनाए रखा जाएगा कि कौन से वेरिएबल पहुंच योग्य नहीं हैं क्योंकि ये नहीं हैं
जांच की जाएगी. पीबीईएस के आधार पर, इसका आकार कम हो सकता है
काफी हद तक BES उत्पन्न हुआ लेकिन इसके लिए बड़ी मेमोरी फ़ुटप्रिंट की आवश्यकता है। '3' इंच
2 के अलावा, उत्पन्न वेरिएबल्स की जांच करें कि क्या वे लूप पर होते हैं,
जैसे कि उन्हें निश्चित बिंदु प्रतीक के आधार पर सही या गलत पर सेट किया जा सकता है।
इससे समीकरण बनाने में लगने वाला समय काफी हद तक बढ़ सकता है।

--समय[=फ़ाइल]
FILE में समय मापन जोड़ें। माप मानक त्रुटि के लिए लिखे जाते हैं यदि
कोई फ़ाइल प्रदान नहीं की गई है

-u, --अप्रयुक्त_डेटा
डेटा विनिर्देश के अप्रयुक्त भागों को न हटाएं

मानक विकल्प:

-q, --शांत
चेतावनी संदेश प्रदर्शित न करें

-v, --शब्दशः
लघु मध्यवर्ती संदेश प्रदर्शित करें

-d, - दाढ़
विस्तृत मध्यवर्ती संदेश प्रदर्शित करें

--छांटने का स्तर=LEVEL
स्तर तक और सहित मध्यवर्ती संदेश प्रदर्शित करें

-h, --मदद
सहायता जानकारी प्रदर्शित करें

--संस्करण
संस्करण जानकारी प्रदर्शित करें

onworks.net सेवाओं का उपयोग करके ऑनलाइन pbes2bes का उपयोग करें