問題タブ [binary-decision-diagram]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
87 問題
0
投票する
1
に答える
88
参照
c - Cudd_bddIte の予期しない出力
Cudd_bddIteシンプルなBDDを実装するために使用しようとしています。次のコードは期待どおりに機能し、図の図 ( node を表しますbdd)を示します。
ただし、ITEステートメントをtmp2次のように変更すると
この予期しないグラフが表示されます。
最初の図のように、false の場合、最上位の変数がすぐに 1 を返すと予想されるため、これは間違っています。私は何を間違っていますか？