1

我希望 SPIN 打印出计算的状态空间，以便我可以对其进行可视化，然后手动探索它。那可能吗？

我已经检查了诸如 -DCHECK 和 -DVERBOSE 之类的标志，但我想，这些不是我想要的……

4

1 回答 1

0

不，目前没有搜索到的状态空间的图形输出spin。可以使用 graphviz 绘制程序图，如此处dot所述。

于 2014-09-16T01:32:46.960 回答