推 ric2k1:Please see my answer in 446. 01/18 10:18
→ ric2k1:BTW, please check your BddNode::operator =()... 01/18 10:19
推 personhuang:恩 找到問題了 謝謝 return時出在isNegEdge檢查 01/18 10:21
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 (1)
[1](+) 0x94c7d00 (4)
[0](+) 0x94c7cc0 (11)
[0](-) 0x94c7cc0 (11) (*)
[0](+) 0x94c7cc0 (11) (*)
==> Total #BddNodes : 3
不好意思 借用這個例子
上面是我跑出來e 得結果 好像錯的更厲害
看了看code 不知道大概會哪裡的問題
通常遇到這種問題 從何開始看起？
謝謝指教
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.251.53