看板 [ EE_DSnP ]
討論串[問題] test.cpp
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [問題] test.cpp
推噓3(3推 0噓 2→)留言5則，0人參與, 最新作者HigherKuo (我需要好運)時間17年前 (2008/06/20 20:54), 編輯資訊
0
0
0
內容預覽:
我發現問題了，但是我不知道該如何解決，請教大家！. 在bddMgr::init裡面先initial _terminal 利用uniquify(0, 0, 0). 在uniquify裡面檢查hash，第一次bddHash::check一定會回傳false. 所以跑到 n = BddNodeInt(l,
(還有115個字)
#1
[問題] test.cpp
推噓3(3推 0噓 3→)留言6則，0人參與, 最新作者HigherKuo (我需要好運)時間17年前 (2008/06/20 15:29), 編輯資訊
0
0
0
內容預覽:
我執行test.cpp. 馬上就錯在. BddNode::BddNode(size_t): Assertion `v!=0' failed.. 但是似乎又連test.cpp main()第一行都還沒執行到. 請教一下程式哪裡呼叫了BddNode(size_t)這個constructor呢？. 感謝！
首頁
上一頁
1
下一頁
尾頁