Cudd：可変順序付けを抽出する

Question

私はCUDDの可変順序付けヒューリスティックを他のプログラムに活用しようとしています。私はBDDを作成し、サイズを最小化するためにいくつかの可変順序を試しました。そして今、変数の順序付けを抽出したいと思います。これどうやってするの？

this answerによると、dd pythonパッケージは、各変数のレベルを調べる方法を提供しますが、C/C++インターフェイスでは対応する関数が表示されません。そのpythonバインディングはどうやってそれを取り除きますか？ cuddInt.hを通じてCUDD内部にアクセスする必要がありますか？

Answer 1

ああ、私はddのソースコードを読んでいるはずです。答えは非常に簡単です：Cudd_ReadPermを使用してください。