作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] 可以说明一下bddManger::ite
时间Sun Jan 7 10:07:21 2007
※ 引述《nagy (..................)》之铭言：
: 里面的move bubble是要考虑什麽情况的呢
: slide的第48页似乎是在standardize里面作
: 那..我在49页也看不出来是要做什麽?
: 似乎有可能是Process complement edge info for T & E
Move bubble 是指 slides 43, 44 页的情况
: 但是是要再standardize他们嘛？
: 而且TODO放的地方似乎和投影片上顺序不一样
是不一样... :P
: 还有这里面的bool isNegEdge = false;
: 我也不太了解他的作用~"~
isNegEdge 就是要决定 return 回去的 BddNode 是否需要加上 complement edge
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.129.139