(有向) グラフは、有限オートマトンを表します。これまで、私のテスト プログラムは、テスト用にドット ファイルを書き出していました。これは、回帰テスト (検証済みの出力ファイルを subversion に保持し、変更があったかどうかを確認する) と視覚化の両方に適しています。ただし、いくつかの問題があります...
基本的に、C++ から呼び出し可能で、状態と遷移のレイアウトを計画するが、描画は私に任せるものが必要です。つまり、好きなように描画して GUI (wxWidgets) ウィンドウに描画できるものです。
また、商用利用を許可するライセンスも必要です。現時点では必要ありません。オープン ソースとしてリリースすることも十分考えられますが、ATM のオプションを制限したくありません。
GraphViz の問題点は、(1) Windows でのソースからのビルドに関する警告、(2) レンダリングと解析のためのすべての不要な依存関係、(3) レイアウト専用の文書化された API の (推定) 欠如です。
基本的に、状態 (外接する四角形のサイズ) とトランジションを指定し、各トランジションの状態とウェイポイントの位置を読み取り、それらの座標に基づいて自分で描画できるようにしたいと考えています。トランジションの注釈をどのように処理する必要があるかはよくわかりませんが、それらの境界ボックスのサイズを指定し、それらをトランジションに関連付け、位置を読み取るための何らかの準備が必要です。
これらの要件を処理できるライブラリを知っている人はいますか?
私は必ずしも自分で何かを実装することに反対しているわけではありませんが、この場合、可能であれば避けたいと思います。