推 ric2k1:Great!! Thank you for answering. 01/10 14:42
※ 引述《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