作者WSzc (WSzc)
看板EE_DSnP
標題[問題] testBdd
時間Tue Jun 23 18:05:15 2009
請問一下
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
1F：→ sa901119:operator = 還要用refCount 06/23 18:10
2F：→ WSzc:恩我有做refCount的加減 可是現在是連印都印不出來~ 06/23 18:15
3F：→ WSzc:請問terminal的_left(等於零)印得出來嗎 我印都會SF... 06/23 18:30
4F：推 ric2k1:terminal case 有寫對嗎? 06/23 18:55
5F：→ WSzc:checkIteTerminal()嗎? 我寫的跟5-5-20一樣耶 應該沒錯 06/23 19:02
6F：推 ric2k1:哦, 剛剛仔細看一下你的 cofactor code, 寫錯了哦! 06/23 20:50
7F：→ WSzc:恩恩 我後來修正後可以印前三個了 現在卡在第四個會SF還在試 06/23 20:56