※ 引述《trancewu (exile me)》之銘言：
: 由於那天上課到最後有點趕，
: 所以沒有聽了之後沒有很清楚refCount的意思。
Reference count of a BddNodeInt* 就是說有多少 BddNode 包著它 (or say how many
BddNodeInt* 指向它).
: 而且在我用了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？
: 少算了的話，
: 又是少算了哪些@@
: 謝謝！
a+, a-, b+, b-, a_b-, _one, _zero, _supports[0]
(其中 a+ means a's positive edge)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 63.206.22.18