作者HigherKuo (我需要好運)
看板EE_DSnP
標題[問題] test.cpp
時間Fri Jun 20 15:28:59 2008
我執行test.cpp
馬上就錯在
BddNode::BddNode(size_t): Assertion `v!=0' failed.
但是似乎又連test.cpp main()第一行都還沒執行到
請教一下程式哪裡呼叫了BddNode(size_t)這個constructor呢？
感謝！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.234
1F：推 BattleRoyale:init的時候吧? 06/20 16:02
2F：→ HigherKuo:init呼叫uniquify，uniquify呼叫BddNodeInt的constructo 06/20 16:13
3F：→ HigherKuo:然後就掛了，但是那邊沒看到BddNode的constructor 06/20 16:13
4F：→ HigherKuo:而且那裡的程式都是老師寫的耶！到底問題出在哪呢？ 06/20 16:14
5F：推 ric2k1:試著 b BddMgr::uniquify step in 進去看看... 06/20 17:11
6F：推 yongling:也許你的 constructor 應該檢查的類型是 BddNodeInt* 06/20 18:38