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