推 ric2k1:在你呼叫 uniquify() 之前就做了... 其實這個應該在 ite() 01/16 00:14
→ ric2k1:裡面我已經寫好了, 你們應該不用擔心才對... 01/16 00:15
→ ric2k1:你可以看一下 BddMgr::ite() 的 code. 01/16 00:15
→ INsoarDEEP:原來如此...謝謝老師 01/16 00:48
呃...先自首一下，有關complement edge的equivalence的東西其實我還是不太懂...囧
應該是如果left cofactor是neg phase的，就要apply complement equivalence對吧??
但是問題來了，在getLeftCofactor裡面回傳的BddNode做complement還ok，可是自己
和right child的complement根本就沒辦法做...因為const的關係
想不通...難道說其實不用做其他人的complement嗎? 囧
煩請大家指點一下，謝謝了!! >"<
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.216.45