作者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