作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] 关於BDD的操作
时间Sat Jan 9 20:12:29 2010
※ 引述《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: 61.224.41.206