[問題] _refCount的意義

[trancewu (exile me)]

由於那天上課到最後有點趕，

所以沒有聽了之後沒有很清楚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
推 timrau:精華區5. 5. 3. !?
→ trancewu:謝謝！感覺好像很有用！