作者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