作者allen0414 (我是阿檻耶XD)
看板EE_DSnP
標題迪摩根
時間Tue Jun 24 16:59:54 2008
剛剛測迪摩根
d = ~(a&b)
[2](-) 0x50fc00 (
1)
[1](+) 0x50fb10 (3)
[0](+) 0x50fa90 (10)
[0](-) 0x50fa90 (10) (*)
[0](-) 0x50fa90 (10) (*)
==> Total #BddNodes : 3
e = ~a | ~b
[2](-) 0x50fc00 (
2)
[1](+) 0x50fb10 (3)
[0](+) 0x50fa90 (10)
[0](-) 0x50fa90 (10) (*)
[0](-) 0x50fa90 (10) (*)
==> Total #BddNodes : 3
RefCount的不一樣是因為我們在建BDD的時候用不同的方式所造成的嗎
還是說 d e 兩個東西出來就應該一模一樣????
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.49.246
1F：→ BattleRoyale:這個教授最後一堂課的時候應該有講過吧!? 06/24 17:03
2F：→ BattleRoyale:如果沒記錯的話印象是正常的? 06/24 17:04
3F：推 ric2k1:多了一個 e 所以 ref count 就會加一囉 06/24 17:04