推 trancewu:因為是pointer to BddNode加上complementary edge? 06/14 21:33
推 bnsblue:正解! 06/15 10:08
推 ric2k1:size_t 就等於 BddNode 裡存的值, 不存 BddNode 是為了 06/15 19:25
→ ric2k1:避免 ref count 被加一 06/15 19:25
在bddMgr.h裡面所定義的 map<string, size_t> BddMap;
應該是要對應一個名字給一個bddnode
不懂為什麼bddnode是用一個數字來表示呀??? 謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.252.99