[問題] 不懂

看板EE_DSnP作者 (爐魚)時間16年前 (2008/06/14 16:08), 編輯推噓3(3推 0噓 1→)
留言4則, 3人參與, 最新討論串1/1
在bddMgr.h裡面所定義的 map<string, size_t> BddMap; 應該是要對應一個名字給一個bddnode 不懂為什麼bddnode是用一個數字來表示呀??? 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.252.99
推
06/14 21:33, , 1F
因為是pointer to BddNode加上complementary edge?
06/14 21:33, 1F
推
06/15 10:08, , 2F
正解!
06/15 10:08, 2F
推
06/15 19:25, , 3F
size_t 就等於 BddNode 裡存的值, 不存 BddNode 是為了
06/15 19:25, 3F
→
06/15 19:25, , 4F
避免 ref count 被加一
06/15 19:25, 4F
‣ 更多 popogone 的文章
文章代碼(AID): #18KtoHvk (EE_DSnP)