作者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