Ini ialah rajah arahan yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
DiaGraphica - analisis visual interaktif LTS
SINOPSIS
DiaGraphica [OPTION]... [INFILE]
DESCRIPTION
Visualisasi keadaan berbilang variasi dan analisis simulasi untuk sistem peralihan berlabel
(LTS) dalam format FSM. Jika INFILE tidak dibekalkan maka DiaGraphica dimulakan
tanpa membuka LTS.
PILIHAN
OPTION boleh menjadi mana-mana yang berikut:
--masa[=FAIL]
tambah ukuran pemasaan pada FILE. Pengukuran ditulis kepada ralat piawai jika
tiada FAIL disediakan
Pilihan standard:
-q, --senyap
jangan paparkan mesej amaran
-v, --verbose
memaparkan mesej perantaraan pendek
-d, --nyahpepijat
memaparkan mesej perantaraan terperinci
--peringkat-log=LEVEL
memaparkan mesej perantaraan sehingga dan termasuk tahap
-h, - membantu
memaparkan maklumat bantuan
--versi
memaparkan maklumat versi
Gunakan diagraphica dalam talian menggunakan perkhidmatan onworks.net