想請問一下~~
在建BDD的時候為什麼會出現dead node呢？
而且如果真的有 那等到記憶體不足的時候 再從top node DFS呼叫下去看哪個node沒被
reference到就好啦
為什麼要每次被人家指到就要ref++ 然後還要分從computed, unique table來的ref不算…
但究竟為何會出現dead node呢QQ 那個node一定是有被別人reference到才建的啊…XD
麻煩板大們QQ

在 BDD 建造的過程中一直會有多餘的 dead node 被建出來比方說，你要建 y = a && b && c; 中間可能會先建 b & c再建 a && (b && c), 如果變數的順序是 c(top) --> b --> a建完之後 b && c 就變 dead node 了

可是在建BDD之前 不是應該要先給變數的順序嗎？給完順序再建的話 應該就不會發生這樣的事…？