推 ric2k1:XD! 如 Ultor 所說, 你可以去改 getBddNode 讓它去檢查 06/23 02:55
→ ric2k1:ID >= 0... 不過不知有沒有後遺症就是了, 我沒有試過 06/23 02:56
發現一個小bug
bdd> bsetv 2 1
bdd> brep -4294967295
[2](+)
[0](+)
[0](-) (*)
==> Total #BddNodes : 2
這是因為getBddNode(unsigned id)中的id會把-4294967295轉成1
不過只是提出來而已,應該沒需要改XD
※ 引述《ric2k1 (Ric)》之銘言：
: ※ 引述《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: 220.137.69.81