作者StarString (直毛!!)
看板EE_DSnP
標題[請益] 關於BddMgr..
時間Fri Jun 13 01:49:04 2008
在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
1F：推 ric2k1:please refer to lecture note #3... 06/13 03:20
2F：→ ric2k1:static date member 就是那同一個 06/13 03:21
3F：→ StarString:謝謝教授 所以hash和cache的資料都是存在Node共用的 06/13 23:34
4F：→ StarString:_BddMgr囉? 那宣告為global的bddMgr是做甚麼用的我還 06/13 23:36
5F：→ StarString:是不太清楚...不好意思..可以麻煩再提示一點嘛..謝謝 06/13 23:38
6F：推 ric2k1:uh... 其實只是用一個 global bddMgr 而已... 06/14 01:02
7F：→ ric2k1:static BddNode::setBddMgr() create the link... 06/14 01:03
8F：→ ric2k1:只要確定大家看到的是同一個就好了 (我有些 code 沒清乾淨) 06/14 01:03
9F：→ StarString:恩 我了解了 謝謝教授 06/15 01:09