推 ric2k1:BddNode::_nodeV, 我是這麼用的 01/08 09:00
在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