作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] _refCount的意义
时间Tue Jun 10 14:10:10 2008
※ 引述《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