作者anfranion (南‧生命的意義是經歷)
看板EE_DSnP
標題Re: [問題] 關於BDD的操作
時間Sat Jan 9 21:27:06 2010
重新定義一下問題@@"
就是說 老師在上課講說哪個是哪個的positive cofactor的部份
是怎麼看出來的囧
比如說b || c的
我怎麼知道c也是positive cofactor (老師在C和1上面都打圈圈)
諸如此類的QQ
先感謝好心人囉!
※ 引述《ric2k1 (Ric)》之銘言：
: ※ 引述《anfranion (南‧生命的意義是經歷)》之銘言：
: : 請原諒我領悟力比較差囧
: : 就是說，兩個BDDNode要某種操作 到底該怎麼做QQ
: : 老師找cofacter那邊其實我完全聽不懂Orz
: : 看完論文也不知道到底怎麼判斷Orz
: : 有好心人可以幫忙解釋一下嗎QQ
: : 感激不盡!
: For example,
: BddNode
: BddNode::operator & (const BddNode& n) const
: {
: // TODO
: return _BddMgr->ite((*this), @, @@@@@@@@@@@@@@);
: }
: 都是呼叫相對應的 ite function....
: // @ 為 馬賽克
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.0.42