发现一个小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