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