作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] varName 和 gateID
时间Tue Jun 23 01:25:22 2009
※ 引述《Ultor (m(_ _)m)》之铭言：
: 有点不懂这两个在用法上的区别
: 是说 bddNode 只能有 varName 或是 gateID 之中的一个吗
: 然後我刚刚在 ref program 打
: bsetv 1 4 <= 这行OK
: brep 4
: 但是他说 illegal option (4)
: 不过 brep 不是吃 bddName 吗 所以应该也可以吃 gateID?
: 还是我哪里弄错了 orz
已修正 ref program 的 bug, 等一下上传...
: 然後一个问题 gateID 不是应该要是一个非负整数吗 ..
: 但是我打 bsetv 1 -4 的话没有任何 error @_@ ..
已修正
: 如果是
: bsetv 1 3 <= OK
: bsetv 2 4 <= OK
: band a 3 4 <= illegal option (3)
: 囧...
XD 也已修正
: 还有一个是
: isValidBddName
: 只有判断是不是 validVarName 或是 是不是数字
: 但是如果是负的也会 return true...??
yes, you need to judget it by yourself.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.224.40.243
1F：推 Ultor:那我可以把 isValidBddName() 改成如果是数字要是正的才 06/23 01:35
2F：→ Ultor:return true 吗? 06/23 01:35
3F：→ ric2k1:OK 呀! 06/23 01:35
4F：→ ric2k1:我只是不想修正这个部份, 怕影响已经写好的人 06/23 01:36
5F：推 eorlthexiv:哦 所以bsetv 1 4是会把node存到_bddArr还是_bddMap啊 06/23 01:56
6F：→ ric2k1:bddArr (我是这麽做的) 06/23 02:01
7F：→ ric2k1:就呼叫适当的 bddMgr->addBddNode(...) 就好了! 06/23 02:02