※ 引述《ric2k1 (Ric)》之銘言：
Q: 在ite()裡面 bddNode要檢查complement parameter
是不是該用BddNode::isNegEdge()呢？ 但是它是private 可以把它改成public嗎？？
A: 嗯 是應該改成 public
不過不建議將 BddNode 宣告成 BddNodeInt 或是 BddManager 的 friend class
Q: BddManager::ite(...)
{
...
// check unique table
BddNodeInt* ni = uniquify(t(), e(), v);
ret = size_t(ni); <== what does this mean?
...
}
A: The type of "ret" is BddNode.
However, the line "ret = size_t(ni)" is NOT clear, and will make the later
line "ret = ~ret" ambiguous...
PLEASE CHANGE IT TO ---
ret = BddNode(size_t(ni));
This will make it easier to read.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.242
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.132.49