[請益] GateID 怪怪的..

[ilway25 (唉唷喂)]

下面是我的結果，發現 PI 3GAT 的 ID 是 1

bdd> cirr testcases/C17.cir

bdd> cirsetv -file

bdd> cirb 5
Building 5: AND 11GAT
Building 1: PI 3GAT        // 這 3 行是自己加的
Building 4: PI 6GAT

bdd> brep 5
[4](+)
  [1](+)                   // ref 跑出來是 3
    [0](+)
    [0](-)  (*)
  [0](-)  (*)

==> Total #BddNodes : 3

不知道為什麼囧   de 很久...  希望有人能解答我的疑惑xd

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.245.11
※ 編輯: ilway25         來自: 140.112.245.11       (06/21 12:48)
→ ilway25:不知道怎樣改好了，但是又有另一個 bug ......
→ ilway25:話說剛剛跑 ref C7552, 21分後，segmentation...
推 timrau:C7552無法在4GB memory內跑出來吧
→ ilway25:對耶，沒想到..