BDD 操作を行うために CUDD パッケージを使用しています。特定の変数順序を渡して、BDD の構築中にこの順序を使用するようにプログラムに指示する方法を誰かが知っているかどうか疑問に思っていました。変数の数が比較的少ないブール関数を使用しています。
実際、プログラムに特定の入力変数を渡して BDD をルートする方法があったとしても、それは私の目的にも役立ちます。誰かがこれを行う方法を知っていれば、本当に助けていただければ幸いです。ドキュメントを調べましたが、この趣旨のものが見つかりませんでした。多分私は何かを逃した。