[請益] 卡關超久的f^g和~a|~b Q_Q

看板EE_DSnP作者INsoarDEEP (我/我/我)時間16年前 (2010/01/16 23:16)推噓4(4推 0噓 18→)

留言22則, 4人參與討論串1/1

已經de了快要6小時的bug，盯著ddd的我已經眼花了還是看不出所以然的f^g和~a|~b... 狀況是這樣的，我的leftCofactor和rightCofactor寫法類似，都是先看level大小，然後決定需不需要call小孩，然後我沒有去管neg edge的東西... testBdd的前三個都順利過關，但是後兩個發生問題，結果如下： f^g [4](+) 0x9c04e98 (2) [0](+) 0x9bec288 (15) [3](+) 0x9c04df8 (3) [0](+) 0x9bec288 (15) (*) [0](-) 0x9bec288 (15) (*) ==> Total #BddNodes: 3 ~a|~b [2](+) 0x9c04ea8 (1) [0](+) 0x9bec288 (16) [1](-) 0x9c04da8 (4) [0](+) 0x9bec288 (16) (*) [0](-) 0x9bec288 (16) (*) ==> Total #BddNodes: 3 沒有頭緒...可以請大家幫個忙看一下嗎? 說實話我已經不知道該怎麼做了orz -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.216.45

推

yclanner

01/16 23:18, , 1^F

01/16 23:18, 1^F

→

INsoarDEEP

01/16 23:20, , 2^F

01/16 23:20, 2^F

→

yclanner

01/16 23:21, , 3^F

01/16 23:21, 3^F