lmnToDot
LMNtal メタインタプリタ (McLMNtal) の状態空間構築プログラムの出力を、 Graphviz による描画に対応した DOT 言語に変換するスクリプトです。
Requirements
- python 3.x
Usage
標準入力に SLIM の出力を渡すことができます。
slim --hl --use-buiiltin-rule state_space_construction.lmn | python3 lmnToDot.py
実行時引数にファイルを指定することもできます。
python3 lmnToDot.py state_space.out
以下のようなコマンドで、SLIM での LMNtal プログラム実行 → DOT 言語生成 → Graphviz による描画を一度に行うことができます。
slim --hl --use-builtin-rule state_space_construction.lmn | python3 lmnToDot.py | dot -T png -o state_space.png
Options
- colored
- ノードに着色するか選択できます