SPIN で計算された状態空間を出力して、その視覚化を行い、手動で調査できるようにしたいと考えています。それは可能ですか？
私はすでに -DCHECK や -DVERBOSE などのフラグをチェックしましたが、それらは私が探しているものではないと思います...
1 に答える
0
いいえ、現在、検索された状態空間のグラフィック出力はありませんspin。ここでdot説明されているように、graphviz を使用してプログラム グラフをプロットすることができます。
于 2014-09-16T01:32:46.960 に答える