[問題] 不知道該從何問起

[BattleRoyale (翔燄)]

感覺上是有點大的問題  但我不知道該從何找起
就是test.cpp的部份 我已經完成standardize和check terminal的部份了

and or 或是test 中的
BddNode d = a & b | a & c;
BddNode e = a & (b | c);

這些都可以

但是我測XOR f=a^b時

這是教授的ref   手動測的(自己去bsetv 再bxor)
[2](-) 0x80863d8 (1)
  [1](+) 0x8085088 (3)
    [0](+) 0x8084f58 (131)
    [0](-) 0x8084f58 (131) (*)
  [1](-) 0x8085088 (3) (*)


這是我的結果(我還是在test.cpp中測喔)
[2](+) 0x8067c78 (1)
  [1](+) 0x8067c48 (4)
    [0](+) 0x8067c20 (9)
    [0](-) 0x8067c20 (9) (*)
  [1](-) 0x8067c48 (4) (*)

第一個問題是:
我不知道為什麼第一個level 2跑出來的是(+)而不是(-)
因為move bubble教授已經寫好了(據說是沒清乾淨orz!?)
xor傳的和standardize也檢查過了orz
所以可能還有哪裡會出問題呢?

第二個問題是  ref不同 我想請問這個問題是不是因為還沒完成整個BDD的關係?
還是說現階段就可以確保ref同了?

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.235
※ 編輯: BattleRoyale    來自: 140.112.4.235        (06/15 22:06)
推 ric2k1:1. 的確是忘了將那三行 D掉(放水啦)...請檢查一下isNedEdge
→ ric2k1:2. 測的方法不同, 當然 reference count 可能會不同
→ BattleRoyale:請問是isNedEdge還是isNedEdge()呢
推 ric2k1:isNedEdge
→ BattleRoyale:那請問教授 除了在左邊有bubble外 其他狀況有可能更
→ BattleRoyale:動isNegEdge的值嗎@?
推 bnsblue:應該是要確保每一個node的左腳不會有bubble就好
→ BattleRoyale:Orz 已經找了兩個多小時了還沒找出來  囧
推 ric2k1:就是要檢查最後 isNegEdge 是否為 true... (是的話然後呢?)