作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] BddNode BddNode::getCube()
时间Tue Jan 19 20:21:02 2010
※ 引述《anniecia (Annie)》之铭言：
: 能不能请谁解释一下
: 为什麽 BddNode::getCube() 的 return type 是 BddNode
: 亦即 要怎麽用一个BddNode表示一个cube呢
: 谢谢~~
比方说你有一个 cube = 01x0;
You can build a BddNode n = ~(BddNode(_supports[1])) &
(BddNode(_supports[2])) &
~(BddNode(_supports[4])); // no [3] because of x
Hope that is clear.
Be cautious about the order of _supports[i].
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.224.41.91
1F：推 anniecia:真是太有道理了 谢谢老师！ 01/19 23:03