作者personhuang (Person)
看板EE_DSnP
标题Re: [问题] de Morgan...
时间Thu Jan 18 09:48:29 2007
BddNode d = ~(a & b);
cout << d << endl;
BddNode e = ~a | ~b;
cout << e << endl;
---------------------------
[2](-) 0x94c7d78 (1)
[1](+) 0x94c7d00 (3)
[0](+) 0x94c7cc0 (10)
[0](-) 0x94c7cc0 (10) (*)
[0](-) 0x94c7cc0 (10) (*)
==> Total #BddNodes : 3
[2](+) 0x94c7d78 (1)
[1](+) 0x94c7d00 (4)
[0](+) 0x94c7cc0 (11)
[0](-) 0x94c7cc0 (11) (*)
[0](+) 0x94c7cc0 (11) (*)
==> Total #BddNodes : 3
不好意思 借用这个例子
上面是我跑出来e 得结果 好像错的更厉害
看了看code 不知道大概会哪里的问题
通常遇到这种问题 从何开始看起？
谢谢指教
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.251.53
1F：推 ric2k1:Please see my answer in 446. 01/18 10:18
2F：→ ric2k1:BTW, please check your BddNode::operator =()... 01/18 10:19
3F：推 personhuang:恩 找到问题了 谢谢 return时出在isNegEdge检查 01/18 10:21