Ini adalah perintah mcrl2xi yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
mCRL2xi - editor spesifikasi data mCRL2 grafis
RINGKASAN
mCRL2xi [PILIHAN]...[INFILE]
DESKRIPSI
Editor spesifikasi data mCRL2 grafis.
PILIHAN
PILIHAN dapat berupa salah satu dari berikut ini:
-QNUM, --qbatas=NUM
membatasi enumerasi quantifiers ke variabel NUM. (Default NUM=1000, NUM=0 untuk
tak terbatas).
-rNAMA, --penulis ulang=NAMA
gunakan strategi penulisan ulang NAMA: 'jitty' jitty rewriting (default) 'jittyc' dikompilasi
gelisah menulis ulang 'jittyp' gelisah menulis ulang dengan pepatah
--waktu[=FILE]
menambahkan pengukuran waktu ke FILE. Pengukuran ditulis ke kesalahan standar jika
tidak ada FILE yang disediakan
Opsi standar:
-q, --diam
jangan tampilkan pesan peringatan
-v, --bertele-tele
tampilkan pesan perantara pendek
-d, --debug
tampilkan pesan perantara yang terperinci
--tingkat log=TINGKAT
tampilkan pesan perantara hingga dan termasuk level
-h, --membantu
tampilkan informasi bantuan
--Versi: kapan
menampilkan informasi versi
Gunakan mcrl2xi online menggunakan layanan onworks.net