[問題] testBdd

[WSzc (WSzc)]

請問一下
F = A&B
我印出來如果一直都只有一行
[0](+) 0x1a2f110 (14)
這樣會是哪邊有問題呢

我是把(v)老師說要做的做完而已
standardize()、reset()那些都還沒做

我覺得比較有可能出錯的地方可能是getLeftCofactor(unsigned i)
大概是這樣寫

if( i < this->getLevel() )
        return size_t(0);
if( this->getLevel()==0 )
        return *this;

if( this->isNegEdge() )
        return ~(this->getLeft());
else
        return this->getLeft();

判斷level是否=0那個可能有問題
我是想要根據slide P.40 如果那個BddNode沒有nodeV就不會拆下去
可是這個function我只有拿到level的值 沒有拿到nodeV 不知如何判斷有沒有nodeV

另外operator =是只要assign n.nodeV給this.nodeV就好了嗎
需要把left right也assign過去嗎

這邊卡好幾天了 有人能夠解惑一下嗎 謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 118.161.49.195
→ sa901119:operator = 還要用refCount
→ WSzc:恩我有做refCount的加減 可是現在是連印都印不出來~
→ WSzc:請問terminal的_left(等於零)印得出來嗎 我印都會SF...
推 ric2k1:terminal case 有寫對嗎?
→ WSzc:checkIteTerminal()嗎? 我寫的跟精華區5-5-20一樣耶 應該沒錯
推 ric2k1:哦, 剛剛仔細看一下你的 cofactor code, 寫錯了哦!
→ WSzc:恩恩 我後來修正後可以印前三個了 現在卡在第四個會SF還在試