推 samuelduan:照著老師的note寫應該就可以了 至少我是這樣的... 01/10 12:13
推 onthesea:對的阿 01/12 09:48
我將test.cpp改成---
BddNode::_debugBddAddr = true;
BddNode::_debugRefCount = true;
BddManager bm(3, 127, 61);
BddNode a(bm.getSupport(1));
cout<<a;
執行的結果是
[1](+) 0x8069d00 (2)
[0](+) 0x8069cc0 (9)
[0](-) 0x8069cc0 (9) (*)
==> Total #BddNodes : 2
但我執行老師的bdd
輸入breset(3,127,61)-> bsetv 1 a-> brepo a -refc->
發現_one(也就是_zero)的refcount應該要是7而不是9...
這樣看來似乎是因為'='operator的部份寫錯了...
因為以上這幾行應該不會用到ite()...
而constructor的部份是老師給的
想請問'='這個operator除了note裡面所說的以外
是不是還有其他步驟啊??
還是說是會用到其他的function我沒注意到??
一直想不出來...可以給點提示嗎?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.170.158