ນີ້ແມ່ນຄໍາສັ່ງ mcrl2-gui ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
mcrl2-gui - ກຣາຟຟິກ front-end ສໍາລັບເຄື່ອງມື mCRL2
ສະຫຼຸບສັງລວມ
mcrl2-gui [ທາງເລືອກ] ...
ລາຍລະອຽດ
ກຣາຟຟິກດ້ານໜ້າສຳລັບເຄື່ອງມື mCRL2.
OPTIONS
ທາງເລືອກ ສາມາດເປັນອັນໃດອັນໜຶ່ງຕໍ່ໄປນີ້:
--ເວລາ[=ເອກະສານ]
ຕື່ມການວັດແທກເວລາໃສ່ FILE. ການວັດແທກຖືກຂຽນເປັນຄວາມຜິດພາດມາດຕະຖານຖ້າ
ບໍ່ມີ FILE ສະຫນອງໃຫ້
ຕົວເລືອກມາດຕະຖານ:
-q, --ງຽບ
ບໍ່ສະແດງຂໍ້ຄວາມເຕືອນ
-v, -- verbose
ສະແດງຂໍ້ຄວາມປານກາງສັ້ນ
-d, --debug
ສະແດງຂໍ້ຄວາມລະອຽດປານກາງ
--log-level=LEVEL
ສະແດງຂໍ້ຄວາມລະດັບປານກາງເຖິງແລະລວມທັງລະດັບ
-h, - ຊ່ວຍ
ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອ
- ການປ່ຽນແປງ
ສະແດງຂໍ້ມູນສະບັບ
ໃຊ້ mcrl2-gui ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
