精華區beta EE_DSnP 關於我們 聯絡資訊
※ 引述《ric2k1 (Ric)》之銘言: : 有人要試著回答看看嗎? :) : ※ 引述《ric2k1 (Ric)》之銘言: : : 匆忙之下 忘記問大家一個問題... : : run bdd_src/test, the output is: : : [2](+) 0x9acda68 (1) node c : : [1](+) 0x9acda18 (3) c.getBddNodeInt()->_left node a bm._supports[1] : : [0](+) 0x9acd9e0 (8) : : [0](-) 0x9acd9e0 (8) (*) : : [0](-) 0x9acd9e0 (8) (*) BddNode::_one BddNode::_zero bm._supports[0] bm._supports[1].getBddNodeInt()->_left ( a.getBddNodeInt()->_left ) bm._supports[1].getBddNodeInt()->_right ( a.getBddNodeInt()->_right) bm._supports[2].getBddNodeInt()->_left ( b.getBddNodeInt()->_left ) bm._supports[2].getBddNodeInt()->_right ( b.getBddNodeInt()->_right) c.getBddNodeInt()->_right : : [2](+) 0x9acda68 (2) node c node d : : [1](+) 0x9acda18 (3) 同上 : : [0](+) 0x9acd9e0 (8) : : [0](-) 0x9acd9e0 (8) (*) : : [0](-) 0x9acd9e0 (8) (*) 同上 : : 請解釋為什麼 _refCount of each BddNode 是 1,2,3,8...? : : 是誰 refer 到這些 BddNodeInt* ? : : 知道答案的人 請先不要回答 讓大家想一下 : : 星期天之後再來回答 !! -- . * . . .點點星空照上風~ . * . · -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.251.56
ric2k1:Great!! Thank you for answering. 01/10 14:42