作者INsoarDEEP (我/我/我)
看板EE_DSnP
标题[请益] left cofactor卡关
时间Fri Jan 15 23:14:57 2010
呃...先自首一下，有关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
1F：推 ric2k1:在你呼叫 uniquify() 之前就做了... 其实这个应该在 ite() 01/16 00:14
2F：→ ric2k1:里面我已经写好了, 你们应该不用担心才对... 01/16 00:15
3F：→ ric2k1:你可以看一下 BddMgr::ite() 的 code. 01/16 00:15
4F：→ INsoarDEEP:原来如此...谢谢老师 01/16 00:48