推 DevilAndrew:唔~ 這個答案不是和 396 的一樣嗎..? 01/11 13:54
推 ric2k1:[問] 倒數第四行是你的結果, 不是 reference program 的吧꜠ 01/11 15:36
→ ric2k1:而上面的才是 reference program 的結果吧? 01/11 15:38
想請大家幫忙一下orz
我的執行結果，BDD和reference program是一樣的
但是reference count不一樣
例如原本的test.cpp
執行結果是
[3](+) 0x960b8b8 (1)
[1](+) 0x960a870 (5)
[0](+) 0x960a860 (11)
[0](-) 0x960a860 (11) (*)
[2](+) 0x960a8b0 (1)
[1](+) 0x960a870 (5) (*)
[0](-) 0x960a860 (11) (*)
==> Total #BddNodes : 4
[3](+) 0x960b8b8 (2)
[1](+) 0x960a870 (5)
[0](+) 0x960a860 (12)
[0](-) 0x960a860 (12) (*)
[2](+) 0x960a8b0 (1)
[1](+) 0x960a870 (5) (*)
[0](-) 0x960a860 (12) (*)
==> Total #BddNodes : 4
（reference program是 1 4 11 11 1 4 11和 1 3 9 9 1 3 9）
尤其是第二個，node[3] 的reference count竟然是2真的很奇怪..|||
但是BDD一樣的話應該ite是沒有錯的呀....
這樣問題是出在 = operator嗎orz
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.247.17