[請益] 關於BddMgr..

[StarString (直毛!!)]

在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
推 ric2k1:please refer to lecture note #3...
→ ric2k1:static date member 就是那同一個
→ StarString:謝謝教授  所以hash和cache的資料都是存在Node共用的
→ StarString:_BddMgr囉?  那宣告為global的bddMgr是做甚麼用的我還
→ StarString:是不太清楚...不好意思..可以麻煩再提示一點嘛..謝謝
推 ric2k1:uh... 其實只是用一個 global bddMgr 而已...
→ ric2k1:static BddNode::setBddMgr() create the link...
→ ric2k1:只要確定大家看到的是同一個就好了 (我有些 code 沒清乾淨)
→ StarString:恩 我了解了  謝謝教授