作者ric2k1 (Ric)
看板EE_DSnP
標題[情報] getLeft() and getLeftCofactor()
時間Sun Jun 21 20:07:33 2009
許多人在問他們有什麼不同... 簡單的說 ---
getLeft() 就是 return left child BddNode. That is, return _left.
然而 getLeftCofactor() 就是 get left cofactor (廢話 XD),
由於 this BddNode 可能有 negative phase, the left cofactor can be ~_left.
至於傳進去的 unsigned i, 指的是 BDD level. 就是說你必須檢查 i 是否大於
this BddNode 的 level... (以下省略)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.224.46.108
1F：→ ilway25:neg 這點我昨天卡 6 小時.......= = 06/21 20:09
2F：→ ric2k1:啊... 我以為我上課有講過... 結果還是一堆人在問 XD 06/21 20:50
3F：推 rockwalking:忘了 06/21 22:17
4F：→ ilway25:話說是不是經過complement，黑色的edge一定沒有bubble ?? 06/21 22:46
5F：推 timrau:對，then-edge上不可以有bubble 06/21 22:54
6F：→ ric2k1:then-edge 是不能有 bubble, 但是並不代表 left cofactor 06/21 23:41
7F：→ ric2k1:不能有 neg phase (bubble)... 06/21 23:41