作者nagy (..................)
看板EE_DSnP
标题[问题] 可以说明一下bddManger::ite
时间Sun Jan 7 03:45:58 2007
里面的move bubble是要考虑什麽情况的呢
slide的第48页似乎是在standardize里面作
那..我在49页也看不出来是要做什麽?
似乎有可能是Process complement edge info for T & E
但是是要再standardize他们嘛？
而且TODO放的地方似乎和投影片上顺序不一样
还有这里面的bool isNegEdge = false;
我也不太了解他的作用~"~
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.247.20