我剛剛突然發現一個問題
請問如果我們輸入
bdd>> set bdd support 1 a
那在cout<<_support[1]時
reference count 會不會比 沒有set support之前多一個呢??
問題也就是：
set support 之後
是否要為 a 新建一個新的BddNode??
謝謝！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.242
※ 編輯: eeturtur 來自: 140.112.4.242 (01/18 17:58)