推 ric2k1:會不會是 uniquify() 回來後忘了加 bubble? 01/17 22:15
推 davidlue:喔喔修好了~T.T 感謝老師 01/18 17:28
之前一直以為自己的ite是對的
結果剛剛測試test.cpp
BddNode d = ~(a & b);
cout << d << endl;
BddNode e = ~a | ~b;
cout << e << endl;
---------------------------
[2](-) 0x94c7d78 (1)
[1](+) 0x94c7d00 (3)
[0](+) 0x94c7cc0 (10)
[0](-) 0x94c7cc0 (10) (*)
[0](-) 0x94c7cc0 (10) (*)
==> Total #BddNodes : 3
[2](+) 0x94c7d78 (2) 應該是negative才對..~@@
[1](+) 0x94c7d00 (3)
[0](+) 0x94c7cc0 (10)
[0](-) 0x94c7cc0 (10) (*)
[0](-) 0x94c7cc0 (10) (*)
==> Total #BddNodes : 3
這樣應該是ite movebubble的地方不對嗎~@@
整個想不透為啥最上層會被動orz
本來以為是BNAND BNOR那些指令寫錯了
結果發現在這邊就錯了orz
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.247.17
※ 編輯: davidlue 來自: 140.112.247.17 (01/17 22:02)
※ 編輯: davidlue 來自: 140.112.247.17 (01/17 22:07)