作者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