(有向)图表示有限自动机。到目前为止,我的测试程序一直在写出点文件进行测试。这对于回归测试(将经过验证的输出文件保存在 subversion 中,询问它是否有变化)和可视化都非常好。不过,也有一些问题...
基本上,我想要一些可从 C++ 调用的东西,它为我的状态和转换计划一个布局,但把绘图留给我——这将允许我随心所欲地绘制东西并在 GUI (wxWidgets) 窗口上绘制。
我还想要一个允许商业使用的许可证——我目前不需要,我很可能会作为开源发布,但我不想限制我的选项 ATM。
GraphViz 的问题是(1)关于在 Windows 上从源代码构建的警告,(2)所有不必要的渲染和解析依赖项,以及(3)(假定)缺乏专门用于布局的文档化 API。
基本上,我希望能够指定我的状态(带有边界矩形大小)和转换,并读出每个转换的状态和航点的位置,然后自己根据这些坐标进行绘制。我还没有真正弄清楚应该如何处理关于转换的注释,但是应该有一些规定可以为它们指定边界框大小,将它们与转换相关联,并读出位置。
有谁知道可以处理这些要求的库?
我不一定反对为自己实现某些东西,但在这种情况下,如果可能的话,我宁愿避免它。