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