有點不懂這兩個在用法上的區別
是說 bddNode 只能有 varName 或是 gateID 之中的一個嗎
然後我剛剛在 ref program 打
bsetv 1 4 <= 這行OK
brep 4
但是他說 illegal option (4)
不過 brep 不是吃 bddName 嗎 所以應該也可以吃 gateID?
還是我哪裡弄錯了 orz
然後一個問題 gateID 不是應該要是一個非負整數嗎 ..
但是我打 bsetv 1 -4 的話沒有任何 error @_@ ..
如果是
bsetv 1 3 <= OK
bsetv 2 4 <= OK
band a 3 4 <= illegal option (3)
囧...
還有一個是
isValidBddName
只有判斷是不是 validVarName 或是 是不是數字
但是如果是負的也會 return true...??
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 124.8.23.146
※ 編輯: Ultor 來自: 124.8.23.146 (06/22 22:48)
※ 編輯: Ultor 來自: 124.8.23.146 (06/22 22:52)