推 spock:hash 本身有自己的 hash table，是 private 的。 06/23 19:13
→ spock:所以要透過這種 interface method 來存取 hash table。 06/23 19:13
→ spock:至於 b，你追一下 bddMgr.cpp 的 uniquify()，應該可以了解 06/23 19:16
→ spock:它是 hash 水桶的號碼。XD 06/23 19:16
在BddHash.h中
forceInsert(size_t b, const BddHashNode& n)
第一個parameter b 所代表的意義是 index number嗎?
(就是像 vector[b] 這樣)
想請問 為什麼我們要用 forceInsert 而不是 push_back
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.234