Re: [問題] brep question

[ijb ()]

※ 引述《ijb ()》之銘言：
: if i use the following commands to test my program.
: what the messages should I show?
: bdd>bsetv 1 e
: bdd>brep e -addP
: Extra option!! (-addP) or Illegal option!! (-addP)
:                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
: bdd>brep e -add
: Extra option!! (-add) or Illegal option!! (-add)
:                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sorry, one more question....
bdd>bsetv 1 pp   ==> means treats "1" as a string or ???

bdd>binv 1 pp    ==> means treats "1" as a string or ???

bdd>brep 1   ==> means treats "1" as a string or ???
[1](-)
  [0](+)
  [0](-)  (*)

==> Total #BddNodes : 2

I would like to know is it ok to set "1" as variable?
if yes, then how do i know unsigned integer is the integer or the string
under the Bdd_Command operation?
if no, could I use isValidVarName func to check it or other rules
i don't know exist?

thanks a lot.

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 219.68.74.175
推 ric2k1:The option order for both BSETV and BINV need to be in
→ ric2k1:exact order. So in "bsetv 1 pp", 1 is integral level.
→ ric2k1:in "brep 1 pp", 1 is a string variable name.
→ ric2k1:We allow variable name starting with numbers, since
→ ric2k1:there are such cases in included circuits (e.g. C17.cir
→ ijb:thx