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