ນີ້ແມ່ນຄໍາສັ່ງ ltsinfo ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນສະຖານີເຮັດວຽກອອນໄລນ໌ຟຣີຫຼາຍອັນຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
ltsinfo - ສະແດງຂໍ້ມູນພື້ນຖານກ່ຽວກັບ LTS
ສະຫຼຸບສັງລວມ
ຂໍ້ມູນ [ທາງເລືອກ]... [INFILE]
ລາຍລະອຽດ
ພິມຂໍ້ມູນກ່ຽວກັບລະບົບການປ່ຽນສະຫຼາກ (LTS) ໃນ INFILE. ຖ້າ INFILE ບໍ່ແມ່ນ
ສະຫນອງໃຫ້, stdin ຖືກນໍາໃຊ້.
ຮູບແບບຂອງ INFILE ຖືກກໍານົດໂດຍເນື້ອໃນຂອງມັນ. ທາງເລືອກ --in ສາມາດຖືກນໍາໃຊ້ເພື່ອບັງຄັບ
ຮູບແບບຂອງ INFILE. ຮູບແບບທີ່ສະຫນັບສະຫນູນແມ່ນ:
'aut' ສໍາລັບຮູບແບບ Aldebaran (CADP),
'ຈຸດ' ສໍາລັບຮູບແບບ GraphViz (ບໍ່ຮອງຮັບຮູບແບບການປ້ອນຂໍ້ມູນ),
'fsm' ສໍາລັບຮູບແບບ Finite State Machine, ຫຼື
'lts' ສໍາລັບຮູບແບບ mCRL2 LTS
OPTIONS
ທາງເລືອກ ສາມາດເປັນອັນໃດອັນໜຶ່ງຕໍ່ໄປນີ້:
-iຮູບແບບ, --ໃນ=ຮູບແບບ
ໃຊ້ FORMAT ເປັນຮູບແບບການປ້ອນຂໍ້ມູນ
--ເວລາ[=ເອກະສານ]
ຕື່ມການວັດແທກເວລາໃສ່ FILE. ການວັດແທກຖືກຂຽນເປັນຄວາມຜິດພາດມາດຕະຖານຖ້າ
ບໍ່ມີ FILE ສະຫນອງໃຫ້
ຕົວເລືອກມາດຕະຖານ:
-q, --ງຽບ
ບໍ່ສະແດງຂໍ້ຄວາມເຕືອນ
-v, -- verbose
ສະແດງຂໍ້ຄວາມປານກາງສັ້ນ
-d, --debug
ສະແດງຂໍ້ຄວາມລະອຽດປານກາງ
--log-level=LEVEL
ສະແດງຂໍ້ຄວາມລະດັບປານກາງເຖິງແລະລວມທັງລະດັບ
-h, - ຊ່ວຍ
ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອ
- ການປ່ຽນແປງ
ສະແດງຂໍ້ມູນສະບັບ
ໃຊ້ ltsinfo ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
