این دستور ltsview است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
LTSView - تجسم تعاملی سه بعدی از یک سیستم انتقال برچسب دار
خلاصه
LTSView [گزینه]... [INFILE]
شرح
برنامه LTSView را راه اندازی کنید. اگر INFILE عرضه شود، LTS در INFILE در آن بارگذاری می شود
برنامه.
فرمت ورودی توسط محتویات INFILE تعیین می شود. اگر شکست خورد، یک تلاش است
ساخته شده تا فرمت ورودی را بر اساس پسوند فایل اجباری کند. فرمت های پشتیبانی شده با
پسوند فایل عبارتند از:
قالب Aldebaran (CADP; *.aut);
فرمت GraphViz (*.dot);
فرمت ماشین حالت محدود (*.fsm)؛
قالب mCRL SVC (*.svc)؛
فرمت mCRL2 (*.lts).
OPTIONS
گزینه می تواند یکی از موارد زیر باشد:
-- زمان بندی[=فایل]
اندازه گیری های زمان بندی را به FILE اضافه کنید. اندازه‌گیری‌ها با خطای استاندارد نوشته می‌شوند
هیچ فایلی ارائه نشده است
گزینه های استاندارد:
-q, --ساکت
پیام های هشدار را نمایش ندهید
-v, -- پرحرف
نمایش پیام های میانی کوتاه
-d, - رفع اشکال
نمایش پیام های میانی دقیق
---log-level=سطح
نمایش پیام های میانی تا سطح و شامل
-h, --کمک
نمایش اطلاعات راهنما
- نسخه
نمایش اطلاعات نسخه
با استفاده از خدمات onworks.net از ltsview آنلاین استفاده کنید
