是否可以使用SPIN打印状态空间？

Question

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

我已经检查了-DCHECK和-DVERBOSE这样的标志，但我想，那些不是我想要的......

Answer 1

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