ນີ້ແມ່ນຄໍາສັ່ງ lpssim ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
lpssim - ການຈໍາລອງເສັ້ນຄໍາສັ່ງຂອງ LPS
ສະຫຼຸບສັງລວມ
lpssim [ທາງເລືອກ]... [INFILE]
ລາຍລະອຽດ
ຈໍາລອງ LPS ໃນ INFILE ຜ່ານການໂຕ້ຕອບທີ່ອີງໃສ່ຂໍ້ຄວາມ.
OPTIONS
ທາງເລືອກ ສາມາດເປັນອັນໃດອັນໜຶ່ງຕໍ່ໄປນີ້:
-y, --nodummy
ຢ່າປ່ຽນແທນຕົວແປທົ່ວໂລກໃນ LPS ດ້ວຍຄ່າ dummy
-QNUMBER, --qlimit=NUMBER
ຈໍາກັດການນັບຈໍານວນຂອງປະລິມານໃຫ້ NUM ຕົວປ່ຽນແປງ. (ຄ່າເລີ່ມຕົ້ນ NUM=1000, NUM=0 ສຳລັບ
ບໍ່ຈໍາກັດ).
-rNAME, --rewriter=NAME
ໃຊ້ຍຸດທະສາດການຂຽນຄືນໃຫມ່ NAME: 'jitty' jitty rewriting (ຄ່າເລີ່ມຕົ້ນ) 'jittyc' compiled
jitty rewriting 'jittyp' jitty rewriting ກັບ prover
--ເວລາ[=ເອກະສານ]
ຕື່ມການວັດແທກເວລາໃສ່ FILE. ການວັດແທກຖືກຂຽນເປັນຄວາມຜິດພາດມາດຕະຖານຖ້າ
ບໍ່ມີ FILE ສະຫນອງໃຫ້
ຕົວເລືອກມາດຕະຖານ:
-q, --ງຽບ
ບໍ່ສະແດງຂໍ້ຄວາມເຕືອນ
-v, -- verbose
ສະແດງຂໍ້ຄວາມປານກາງສັ້ນ
-d, --debug
ສະແດງຂໍ້ຄວາມລະອຽດປານກາງ
--log-level=LEVEL
ສະແດງຂໍ້ຄວາມລະດັບປານກາງເຖິງແລະລວມທັງລະດັບ
-h, - ຊ່ວຍ
ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອ
- ການປ່ຽນແປງ
ສະແດງຂໍ້ມູນສະບັບ
ໃຊ້ lpssim ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
