Ito ang command ltsinfo na maaaring patakbuhin sa OnWorks free hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
ltsinfo - ipakita ang pangunahing impormasyon tungkol sa isang LTS
SINOPSIS
ltsinfo [OPTION]... [INFILE]
DESCRIPTION
Mag-print ng impormasyon tungkol sa may label na transition system (LTS) sa INFILE. Kung ang INFILE ay hindi
ibinibigay, ginagamit ang stdin.
Ang format ng INFILE ay tinutukoy ng mga nilalaman nito. Ang opsyon --in ay maaaring gamitin upang pilitin
ang format para sa INFILE. Ang mga sinusuportahang format ay:
'aut' para sa Aldebaran format (CADP),
'tuldok' para sa GraphViz format (hindi na suportado bilang input format),
'fsm' para sa Finite State Machine na format, o
'lts' para sa mCRL2 LTS na format
Opsyon
OPTION maaaring alinman sa mga sumusunod:
-iFORMAT, --sa=FORMAT
gamitin ang FORMAT bilang format ng pag-input
--mga oras[=FILE]
magdagdag ng mga sukat ng timing sa FILE. Ang mga sukat ay isinusulat sa karaniwang error kung
walang FILE na ibinigay
Mga karaniwang opsyon:
-q, --tahimik
huwag magpakita ng mga mensahe ng babala
-v, --verbose
magpakita ng mga maikling intermediate na mensahe
-d, --debug
magpakita ng mga detalyadong intermediate na mensahe
--log-level=ANTAS
magpakita ng mga intermediate na mensahe hanggang sa at kabilang ang antas
-h, - Tumulong
ipakita ang impormasyon ng tulong
--bersyon
ipakita ang impormasyon ng bersyon
Gamitin ang ltsinfo online gamit ang mga serbisyo ng onworks.net
