作者timrau (沒code沒真相)
看板EE_DSnP
標題[問題] _bddMap
時間Mon Jan 8 08:42:52 2007
在bddManager.h裡
有宣告typedef map<string, size_t> BddMap;
以及
class BddManager
{
...
private:
BddMap _bddMap;
};
請問這個map裡的size_t
指的是level of support in the whole BDD?
還是其實是用來存BddNode::_nodeV用的？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.33.200
1F：推 ric2k1:BddNode::_nodeV, 我是這麼用的 01/08 09:00