این دستور mcrl2i است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
mcrl2i - مترجم برای زبان داده mCRL2
خلاصه
mcrl2i [گزینه]... [INFILE]
شرح
عبارات داده mCRL2 را از طریق یک رابط مبتنی بر متن ارزیابی کنید. اگر INFILE وجود دارد و اگر وجود دارد
حاوی یک LPS یا PBES است که می توان از انواع داده های این مشخصات استفاده کرد. اگر ورودی وجود ندارد
فایل داده شده است، فقط انواع داده های عددی استاندارد موجود است. Stdin نادیده گرفته می شود
دستورات زیر برای دستکاری عبارات داده mcrl2 در دسترس هستند. اساسا، وجود دارد
دستوراتی برای بازنویسی و تایپ عبارات و همچنین ایجاد راه حل برای a هستند
بیان بولی عبارات می توانند شامل متغیرهای اختصاص داده شده یا اختصاص نیافته باشند. توجه داشته باشید
که هیچ محدودیتی در تعداد مراحل برای ارزیابی یا حل یک عبارت وجود ندارد
تعداد راه حل های محدود شده از این رو، دستورات assign، eval solve می تواند منجر به ایجاد شود
حلقه های بی نهایت
h[elp] این پیام راهنما را چاپ کنید.
q[uit] ترک کردن.
t[نوع] EXPRESSION نوع چاپ EXPRESSION.
a[sign] VAR=EXPRESSION عبارت را ارزیابی کرده و به آن اختصاص دهید
متغیر.
e[val] EXPRESSION بازنویسی EXPRESSION و چاپ نتیجه.
v[ar] VARLIST متغیرها را در VARLIST اعلام می کند.
r[writer] STRATEGY از STRATEGY برای بازنویسی استفاده کنید.
s[حل] VARLIST. EXPRESSION همه ارزش گذاری های متغیرها را در آن نشان می دهد
VARLIST که EXPRESSION را برآورده می کند. VARLIST از
فرم x,y,...: S; ... v,w,...: T.
OPTIONS
گزینه می تواند یکی از موارد زیر باشد:
-QNUM, -qlimit=NUM
شمارش کمیت‌نماها را به NUM متغیر محدود کنید. (پیش‌فرض NUM=1000، NUM=0 برای
نامحدود).
-rنام, --بازنویس=نام
استفاده از استراتژی بازنویسی NAME: بازنویسی 'jitty' jitty (پیش فرض) 'jittyc' کامپایل شده است
بازنویسی جیتی 'جیتیپ' بازنویسی جیتی با پروور
-- زمان بندی[=فایل]
اندازه گیری های زمان بندی را به FILE اضافه کنید. اندازه‌گیری‌ها با خطای استاندارد نوشته می‌شوند
هیچ فایلی ارائه نشده است
گزینه های استاندارد:
-q, --ساکت
پیام های هشدار را نمایش ندهید
-v, -- پرحرف
نمایش پیام های میانی کوتاه
-d, - رفع اشکال
نمایش پیام های میانی دقیق
---log-level=سطح
نمایش پیام های میانی تا سطح و شامل
-h, --کمک
نمایش اطلاعات راهنما
- نسخه
نمایش اطلاعات نسخه
با استفاده از خدمات onworks.net از mcrl2i به صورت آنلاین استفاده کنید