作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] cirBdd.h中，xxGate的buildBdd()的问题
时间Sat Jan 16 11:58:40 2010
2. It's included in "libcir-ref.a"
1. The BddNodes in BddMgr::_supports are created in BddMgr::init(),
and it should not be changed in any other functions. (Note that init()
will be called again by the BRESET command)
The command CIRSETVar establishes the linkage between circuit PIs and
BddNodes in BddMgr::_supports. Note that the linkage is stored in the
CirMgr::_bddArr, which lookup the PI's BddNode by its gate ID. So, when
the recursive function buidlBdd() reaches PIs, it should return the
BddNodes stored in CirMgr::_bddArr.
Hope this is clear.
※ 引述《noblebell (高贵的铃)》之铭言：
: 好不容易弄懂上课中refcount如何计数....。但小弟马上又在cirBdd面前，膝盖软掉 Orz
: 问题症结可能在於：
: 1、不太了解 _supports里面放的bddNode要做什麽用？
: vector _support是放全部的bddNode吗？
: 2、还是不太了解如何从电路建bddNode(这个问题好大...请宽恕)
: 另外，小弟找不到上课中的cirCmd.cpp cirsetvar()，它是被包起来吗？
: 先谢谢热心回答的强者!!!
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.224.45.94
1F：推 telgniw:可以请问关於2的回答...我以为是buildBdd()建立bddNode耶? 01/16 17:20
2F：→ telgniw:所以其实不是吗Orz 01/16 17:20
3F：推 a3785lexx:CirPiGate的好像在cirsetv就作好了 01/16 17:21
4F：→ ric2k1:啊, 是在 buildBdd() 建立的... 我回答成最後的问题了... 01/16 19:53
5F：推 noblebell:耶~我现在懂了！ 01/18 22:30