作者trancewu (exile me)
看板EE_DSnP
標題[問題] _refCount的意義
時間Tue Jun 10 12:41:31 2008
由於那天上課到最後有點趕,
所以沒有聽了之後沒有很清楚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: 140.112.251.153
1F:推 timrau:5. 5. 3. !? 06/10 13:13
2F:→ trancewu:謝謝!感覺好像很有用! 06/10 16:19