作者yclanner (美良)
看板EE_DSnP
标题Re: [请益] 一个关於BDDSETVar的超级小问题...
时间Sat Jan 16 14:22:21 2010
我也想问个这个指令的问题
怕用推的会没人看到就用回的...
※ 引述《a3785lexx (Alex)》之铭言：
: 如题...看着网页上的specify看着看着越来越疑惑...
: 自己对ref program试了一下之後也还是很疑惑@@"
: 所以还是直接上来请教强者的见解好像比较好
: BSETVar里面说:
: associates <BddName> to <level>
: 然後，BddName = gateID | valid string
: 所以，我们可以把circuit里面的gate随意连接到level上
: 经过对ref的测试後似乎也真的是这麽回事...
: bdd>cirr ./testcases/C17.cir
: bdd>bsetv 1 0 ←----成功了
bdd>bsetv 1 0
这个动作在没有读进任何电路的状态下也可以做啊...
所以这个动作应该是
让 "0" 这个string对应到bddNode _supports[1]而已
和读进来的电路的gateID应该没有关系吧....?
这样理解对吗?
好疑惑...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.250.191
1F：推 ric2k1:但是 band a 0 b 是 legal 的, 那这个 0 是指 string 0 01/16 15:18
2F：→ ric2k1:还是 ID = 0 的 BddNode 呢? 所以 bsetv 1 0 应该要判断 01/16 15:21
3F：→ ric2k1:0 是否为 varName (i.e. isVarName()), 如果是的话, 就存到 01/16 15:22
4F：→ ric2k1:_bddMap; 否则就检查 0 是否为 legal int (ie.myStr2Int()) 01/16 15:23
5F：→ ric2k1:如果是的话, 就加到 _bddArr 里头. 01/16 15:24
6F：推 ric2k1:In the latter case, 的确会跟 ID = 0 的 gate 造成 01/16 15:24
7F：→ ric2k1:confusion, so the user should use with care. 01/16 15:24
8F：→ yclanner:喔 我想的太简单了... 谢谢老师回答! 01/16 15:55