[問題] test.cpp

看板EE_DSnP作者 (我需要好運)時間17年前 (2008/06/20 15:29), 編輯推噓3(3推 0噓 3→)
留言6則, 4人參與, 最新討論串1/2 (看更多)
我執行test.cpp 馬上就錯在 BddNode::BddNode(size_t): Assertion `v!=0' failed. 但是似乎又連test.cpp main()第一行都還沒執行到 請教一下程式哪裡呼叫了BddNode(size_t)這個constructor呢？ 感謝！ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.4.234
推
06/20 16:02, , 1F
init的時候吧?
06/20 16:02, 1F
→
06/20 16:13, , 2F
init呼叫uniquify，uniquify呼叫BddNodeInt的constructo
06/20 16:13, 2F
→
06/20 16:13, , 3F
然後就掛了，但是那邊沒看到BddNode的constructor
06/20 16:13, 3F
→
06/20 16:14, , 4F
而且那裡的程式都是老師寫的耶！到底問題出在哪呢？
06/20 16:14, 4F
推
06/20 17:11, , 5F
試著 b BddMgr::uniquify step in 進去看看...
06/20 17:11, 5F
推
06/20 18:38, , 6F
也許你的 constructor 應該檢查的類型是 BddNodeInt*
06/20 18:38, 6F
‣ 更多 HigherKuo 的文章
文章代碼(AID): #18MrmyUY (EE_DSnP)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：
排序： 最新先 | 最舊先 | 留言數
問題
3
6
[問題] test.cpp test.cpp
HigherKuo
17年前, 06/20
在新視窗開啟完整討論串 (共2篇)
‣ 更多 HigherKuo 的文章
文章代碼(AID): #18MrmyUY (EE_DSnP)