推 Peter034:ex: AND-- return _BddMgr->ite(*this,n,_zero); 06/22 20:04
→ Peter034:其他都差不多 06/22 20:05
→ sa901119:這樣不會失去encapsulation的意義嗎 06/22 20:07
推 dostaevsky:i以看BDD final proj 投影片 35頁 06/22 20:07
→ sa901119:因為bddnode應該是不能知道manager是怎麼管理他的啊?? 06/22 20:07
→ sa901119:好吧 我承認耍了白痴= = 06/22 20:09
→ sa901119:BddMgr 是一個static member... 06/22 20:09
→ sa901119:謝謝兩位!!! 06/22 20:09