นี่คือไดอะกราฟิกคำสั่งที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
DiaGraphica - การวิเคราะห์ภาพเชิงโต้ตอบของ LTS
เรื่องย่อ
ไดอากราฟฟิก [ทางเลือกที่-อินไฟล]
DESCRIPTION
การสร้างภาพข้อมูลสถานะหลายตัวแปรและการวิเคราะห์การจำลองสำหรับระบบการเปลี่ยนแปลงที่มีป้ายกำกับ
(LTS's) ในรูปแบบ FSM หากไม่ได้ระบุ INFILE แสดงว่า DiaGraphica เริ่มทำงาน
โดยไม่ต้องเปิด LTS
OPTIONS
ทางเลือกที่ สามารถเป็นอย่างใดอย่างหนึ่งต่อไปนี้:
--กำหนดเวลา[=ไฟล์]
ผนวกการวัดเวลาเข้ากับ FILE การวัดจะถูกเขียนไปยังข้อผิดพลาดมาตรฐาน if
ไม่มีไฟล์ให้
ตัวเลือกมาตรฐาน:
-q, --เงียบ
ไม่แสดงข้อความเตือน
-v, --รายละเอียด
แสดงข้อความกลางสั้นๆ
-d, --debug
แสดงข้อความระดับกลางโดยละเอียด
--log-ระดับ=ระดับ
แสดงข้อความระดับกลางถึงและรวมถึงระดับ
-h, --ช่วยด้วย
แสดงข้อมูลช่วยเหลือ
--รุ่น
แสดงข้อมูลรุ่น
ใช้ diagraphica ออนไลน์โดยใช้บริการ onworks.net