→ sa901119:是BddNodeInt的constructor中initialization list 呼叫? 06/23 11:28
推 ric2k1:蠻多地方呼叫的啊! 像是 ite() 的 return type 是 BddNode 06/23 16:55
→ ric2k1:而裡面的 code return size_t 的時候 BddNode(size_t v) 06/23 16:55
→ ric2k1:就會被呼叫了呀! 06/23 16:56
→ ric2k1:不過 bddNode.h 裡面的 comment 是錯的... 又一個典型改了 06/23 16:56
→ ric2k1:code 忘記改 comment 的情形... 所以我說 the best comment 06/23 16:57
→ ric2k1:is no comment 嗎! 06/23 16:57
→ sa901119:原來如此 謝謝老師!! 06/23 17:21