[請益] 關於BddMgr..

看板EE_DSnP作者 (直毛!!)時間16年前 (2008/06/13 01:49), 編輯推噓2(2推 0噓 7→)
留言9則, 2人參與, 最新討論串1/1
在trace code的時候 看到在bddMgr.cpp裡面宣告了一個叫bddMgr的object 然後在BddNode class裡面的private data member又宣告了一個static的 _BddMgr 想請問一下這兩個object的各有甚麼不同的作用嗎? 整個bdd如hash table和cache table的資料是要存在哪一個object裡面...?? 謝謝.. -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 210.201.183.198
推
06/13 03:20, , 1F
please refer to lecture note #3...
06/13 03:20, 1F
→
06/13 03:21, , 2F
static date member 就是那同一個
06/13 03:21, 2F
→
06/13 23:34, , 3F
謝謝教授 所以hash和cache的資料都是存在Node共用的
06/13 23:34, 3F
→
06/13 23:36, , 4F
_BddMgr囉? 那宣告為global的bddMgr是做甚麼用的我還
06/13 23:36, 4F
→
06/13 23:38, , 5F
是不太清楚...不好意思..可以麻煩再提示一點嘛..謝謝
06/13 23:38, 5F
推
06/14 01:02, , 6F
uh... 其實只是用一個 global bddMgr 而已...
06/14 01:02, 6F
→
06/14 01:03, , 7F
static BddNode::setBddMgr() create the link...
06/14 01:03, 7F
→
06/14 01:03, , 8F
只要確定大家看到的是同一個就好了 (我有些 code 沒清乾淨)
06/14 01:03, 8F
→
06/15 01:09, , 9F
恩 我了解了 謝謝教授
06/15 01:09, 9F
‣ 更多 StarString 的文章
文章代碼(AID): #18KM6HkZ (EE_DSnP)