作者Basicer (Basicer)
看板EE_DSnP
标题Re: [问题] _refCount的意义
时间Fri Jun 20 22:51:04 2008
※ 引述《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
1F：推 timrau:b在a的上面 所以它的left child是a, right child是0 06/20 22:58
2F：→ timrau:应该说 a && b的最上面那个node的left/right child 06/20 22:58
3F：→ Basicer:原来如此 谢谢回答:p 06/20 23:05