lpsxsim - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

LpsXSim - ການຈຳລອງກາຟິກຂອງ LPS

ສະຫຼຸບສັງລວມ

LpsXSim [ທາງເລືອກ]... [INFILE]

ລາຍລະອຽດ

ຈຳລອງຄຳອະທິບາຍຂະບວນການເສັ້ນຊື່ໃນສະພາບແວດລ້ອມກຣາຟິກ. ຖ້າ INFILE ໃຫ້ມັນ
ຈະຖືກໂຫລດເຂົ້າໄປໃນ simulator.

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, - ຊ່ວຍ
ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອ

- ການປ່ຽນແປງ
ສະແດງຂໍ້ມູນສະບັບ

ໃຊ້ lpsxsim ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net