精華區beta EE_DSnP 關於我們 聯絡資訊
1. 在ite()裡面 bddNode要檢查complement parameter 是不是該用BddNode::isNegEdge()呢? 但是它是private 可以把它改成public嗎?? 嗯 是應該改成 public 不過不建議將 BddNode 宣告成 BddNodeInt 或是 BddManager 的 friend class -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.4.242