作者popogone (爐魚)
看板EE_DSnP
標題[問題] 不懂
時間Sat Jun 14 16:08:48 2008
在bddMgr.h裡面所定義的 map<string, size_t> BddMap;
應該是要對應一個名字給一個bddnode
不懂為什麼bddnode是用一個數字來表示呀??? 謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.252.99
1F：推 trancewu:因為是pointer to BddNode加上complementary edge? 06/14 21:33
2F：推 bnsblue:正解! 06/15 10:08
3F：推 ric2k1:size_t 就等於 BddNode 裡存的值, 不存 BddNode 是為了 06/15 19:25
4F：→ ric2k1:避免 ref count 被加一 06/15 19:25