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