ນີ້ແມ່ນຄໍາສັ່ງ lpspp ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
lpspp - pretty print an LPS
ສະຫຼຸບສັງລວມ
lpspp [ທາງເລືອກ]... [INFILE [OUTFILE]]
ລາຍລະອຽດ
ພິມ mCRL2 LPS ໃນ INFILE ກັບ OUTFILE ໃນຮູບແບບທີ່ມະນຸດສາມາດອ່ານໄດ້. ຖ້າ OUTFILE ບໍ່ແມ່ນ
ປະຈຸບັນ, stdout ຖືກນໍາໃຊ້. ຖ້າ INFILE ບໍ່ຢູ່, stdin ຖືກນໍາໃຊ້.
OPTIONS
ທາງເລືອກ ສາມາດເປັນອັນໃດອັນໜຶ່ງຕໍ່ໄປນີ້:
-fຮູບແບບ, -- ຮູບແບບ=ຮູບແບບ
ພິມ LPS ໃນຮູບແບບທີ່ລະບຸໄວ້: 'ຄ່າເລີ່ມຕົ້ນ' ສໍາລັບຂະບວນການສະເພາະ
(ຄ່າເລີ່ມຕົ້ນ) 'ພາຍໃນ' ສໍາລັບການເປັນຕົວແທນ ATerm ຂໍ້ຄວາມຂອງຮູບແບບພາຍໃນ
-n, --print-summand_numbers
ພິມຕົວເລກຢູ່ທາງຫນ້າຂອງsummands
--ເວລາ[=ເອກະສານ]
ຕື່ມການວັດແທກເວລາໃສ່ FILE. ການວັດແທກຖືກຂຽນເປັນຄວາມຜິດພາດມາດຕະຖານຖ້າ
ບໍ່ມີ FILE ສະຫນອງໃຫ້
ຕົວເລືອກມາດຕະຖານ:
-q, --ງຽບ
ບໍ່ສະແດງຂໍ້ຄວາມເຕືອນ
-v, -- verbose
ສະແດງຂໍ້ຄວາມປານກາງສັ້ນ
-d, --debug
ສະແດງຂໍ້ຄວາມລະອຽດປານກາງ
--log-level=LEVEL
ສະແດງຂໍ້ຄວາມລະດັບປານກາງເຖິງແລະລວມທັງລະດັບ
-h, - ຊ່ວຍ
ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອ
- ການປ່ຽນແປງ
ສະແດງຂໍ້ມູນສະບັບ
ໃຊ້ lpspp ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net