lts2lps - Online di Cloud

PROGRAM:

NAMA

lts2lps - menerjemahkan LTS menjadi LPS

RINGKASAN

lts2lps [PILIHAN]...[INFILE [FILE KELUAR]]

DESKRIPSI

Menerjemahkan LTS di INFILE dan menulis LPS yang dihasilkan ke OUTFILE. Jika OUTFILE tidak
saat ini, output standar digunakan. Jika INFILE tidak ada, input standar digunakan.

PILIHAN

PILIHAN dapat berupa salah satu dari berikut ini:

-DFILE, --data=FILE
gunakan FILE sebagai data dan spesifikasi tindakan. FILE harus berupa file .mcrl2 yang
tidak mengandung klausa init.

-lFILE, --lps=FILE
gunakan FILE untuk spesifikasi data dan tindakan. FILE harus berupa file .lps.

-mFILE, --mcrl2=FILE
gunakan FILE sebagai data dan spesifikasi tindakan untuk LTS. FILE harus berupa .mcrl2
file.

--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 lts2lps online menggunakan layanan onworks.net