นี่คือคำสั่ง pbesparelm ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
pbesparelm - ลบพารามิเตอร์ที่ไม่ได้ใช้ออกจาก PBES
เรื่องย่อ
พีบีสปาเรล์ม [ทางเลือกที่-อินไฟล [ภายนอก]]
DESCRIPTION
อ่านไฟล์ที่มี PBES และใช้การกำจัดพารามิเตอร์กับไฟล์นั้น ถ้า OUTFILE ไม่ใช่
ปัจจุบันใช้เอาต์พุตมาตรฐาน หากไม่มี INFILE ระบบจะใช้อินพุตมาตรฐาน
OPTIONS
ทางเลือกที่ สามารถเป็นอย่างใดอย่างหนึ่งต่อไปนี้:
-iFORMAT, --ใน=FORMAT
ใช้รูปแบบอินพุต FORMAT: 'pbes' PBES ในรูปแบบภายใน 'pbes_text' PBES ใน
รูปแบบข้อความภายใน 'ข้อความ' PBES ในรูปแบบข้อความ (mCRL2) 'bes' BES ในรูปแบบข้อความภายใน
รูปแบบ 'bes_text' BES ในรูปแบบข้อความภายใน 'cwi' BES ในรูปแบบ CWI 'pgsolver'
BES ในรูปแบบ PGsolver
-oFORMAT, --ออก=FORMAT
ใช้รูปแบบเอาต์พุต FORMAT: 'pbes' PBES ในรูปแบบภายใน 'pbes_text' PBES ใน
รูปแบบข้อความภายใน 'ข้อความ' PBES ในรูปแบบข้อความ (mCRL2)
--กำหนดเวลา[=ไฟล์]
ผนวกการวัดเวลาเข้ากับ FILE การวัดจะถูกเขียนไปยังข้อผิดพลาดมาตรฐาน if
ไม่มีไฟล์ให้
ตัวเลือกมาตรฐาน:
-q, --เงียบ
ไม่แสดงข้อความเตือน
-v, --รายละเอียด
แสดงข้อความกลางสั้นๆ
-d, --debug
แสดงข้อความระดับกลางโดยละเอียด
--log-ระดับ=ระดับ
แสดงข้อความระดับกลางถึงและรวมถึงระดับ
-h, --ช่วยด้วย
แสดงข้อมูลช่วยเหลือ
--รุ่น
แสดงข้อมูลรุ่น
ใช้ pbesparelm ออนไลน์โดยใช้บริการ onworks.net
