Ini adalah perintah pbesrewr 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
pbesrewr - tulis ulang dan sederhanakan PBES
RINGKASAN
praserewr [PILIHAN]...[INFILE [FILE KELUAR]]
DESKRIPSI
Tulis ulang PBES di INFILE, hapus variabel terukur dan tulis PBES yang dihasilkan ke
OUTFILE. Jika INFILE tidak ada, stdin digunakan. Jika OUTFILE tidak ada, stdout adalah
bekas.
PILIHAN
PILIHAN dapat berupa salah satu dari berikut ini:
-iFORMAT, --di dalam=FORMAT
gunakan format input FORMAT: PBES 'pbes' dalam format internal PBES 'pbes_text' di
format tekstual internal 'teks' PBES dalam tekstual (mCRL2) format 'bes' BES dalam internal
format 'bes_text' BES dalam format tekstual internal 'cwi' BES dalam format CWI 'pgsolver'
BES dalam format PG Solver
-oFORMAT, --keluar=FORMAT
gunakan format output FORMAT: PBES 'pbes' dalam format internal PBES 'pbes_text' di
format tekstual internal 'teks' PBES dalam format tekstual (mCRL2)
-pNAMA, --pbes-penulis ulang=NAMA
gunakan strategi penulisan ulang pbes NAMA: 'sederhanakan' untuk penyederhanaan (default)
'quantifier-all' untuk menghilangkan semua quantifiers 'quantifier-finite' untuk
menghilangkan variabel quantifier hingga 'quantifier-one-point' untuk aturan satu titik
eliminasi quantifier 'pfnf' untuk menulis ulang ke dalam bentuk normal PFNF 'ppg' untuk
menulis ulang ke dalam bentuk Game Paritas Berparameter 'bqnf-quantifier' untuk menulis ulang
quantifiers over conjuncts to conjuncts of quantifiers (eksperimental)
-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 pbesrewr online menggunakan layanan onworks.net
