これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド lpsconstelm です。
プログラム：
NAME
lpsconstelm - LPS から定数パラメータを削除します
SYNOPSIS
lpsconstelm [オプション] ... [インファイル [アウトファイル]]
DESCRIPTION
INFILE の LPS から定数プロセス パラメーターを削除し、結果を OUTFILE に書き込みます。
INFILE が存在しない場合は、標準入力が使用されます。 OUTFILE が存在しない場合、標準
出力が使用されます。
OPTIONS
オプション 次のいずれかになります。
-c, --ignore-条件
条件が true と評価されると仮定して条件を無視する
-f, --instantiate-free-variables
アルゴリズムの副作用として自由変数をインスタンス化できるようにします。 注:
この機能はテストされていません。
-QNUM, --qlimit=NUM
数量詞の列挙をNUM変数に制限します。 （デフォルトはNUM = 1000、NUM = 0の場合
無制限）。
-s, --remove-singleton-sorts
単一要素のソートでパラメータを削除する
-t, --自明な加数を削除
条件が false の加数を削除します
-rNAME, -リライター=NAME
書き換え戦略を使用するNAME： 'jitty' jitty rewriting（デフォルト） 'jittyc'コンパイル済み
jitty rewriting'jittyp 'jitty rewriting with prover
-タイミング[=FILE]
タイミング測定値をFILEに追加します。 次の場合、測定値は標準誤差に書き込まれます
ファイルは提供されません
標準オプション：
-q, - 静かな
警告メッセージを表示しない
-v, -詳細
短い中間メッセージを表示する
-d, - デバッグ
詳細な中間メッセージを表示する
-ログレベル=LEVEL
レベルまでの中間メッセージを表示する
-h, - 助けて
ヘルプ情報を表示する
- バージョン
バージョン情報を表示する
onworks.net サービスを使用してオンラインで lpsconstelm を使用する
