推 timrau:b在a的上面 所以它的left child是a, right child是0 06/20 22:58
→ timrau:應該說 a && b的最上面那個node的left/right child 06/20 22:58
→ Basicer:原來如此 謝謝回答:p 06/20 23:05
※ 引述《trancewu (exile me)》之銘言：
恩 不好意思 我想要問個很基本的問題
我了解投影片中a && b 在bdd中長的樣子
可是我卻不了解為什麼 輸出的時候 left child 是a 而right child 是0
又為什麼a && b的level是2
謝謝回答 我知道這個問題很基本= =
: 由於那天上課到最後有點趕，
: 所以沒有聽了之後沒有很清楚refCount的意思。
: 而且在我用了reference program之後，
: 意義更撲朔迷離了...orz
: 如果輸入
: breset 2 107 107
: bsetv 1 a
: bsetv 2 b
: band a_b a b
: brep a_b -addr -ref
: [2](+) 0x9e88b78 (1)
: [1](+) 0x9e888c8 (2)
: [0](+) 0x9e88808 (8)
: [0](-) 0x9e88808 (8) (*)
: [0](-) 0x9e88808 (8) (*)
: ==> Total #BddNodes : 3
: 請問level 0 的reference有8，
: 是從哪裡來的啊@@
: 不是應該只有三個(a兩個 b一個)嗎？
: 還是說我少算了一些node？
: 少算了的話，
: 又是少算了哪些@@
: 謝謝！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.217.212.114