推 kickpp:直接接const0的aig好像不會被sat判斷成相等 01/15 16:26
→ kickpp:應該是因為這樣merge時會出問題 它是屬於input merge的case 01/15 16:27
→ kickpp:但照理說1要merge2 & 3 我的fraig會做 ref不會 01/15 16:27
→ kickpp:應該是implement不同的關係吧 01/15 16:28
→ djshen:這樣有點困擾.. 01/15 16:30
→ kickpp:但如果是第三行是2 8 9這種例子 就會被sat判斷成與const0 01/15 16:31
→ kickpp:相等 01/15 16:31
→ kickpp:這樣不會困擾吧 如果直接接const0的情況也被判斷成相等 01/15 16:32
→ kickpp:merge時還要判斷是哪種情況 反而麻煩 01/15 16:32
推 kickpp:另外小聲說...你的_numDecl[VARS]錯了XDDD 01/15 16:36
打錯而已嘛..
※ 編輯: djshen 來自: 140.112.25.106 (01/15 16:39)
推 kickpp:突然發現好像不用另外判斷 那sat應該要判斷出來才對XDDDD 01/15 16:41
→ kickpp:剛剛想錯XDD 01/15 16:42