[問題] 關於ite中的 T==E 和 uniquify

看板EE_DSnP作者vinlinch (好多事要做.....)時間17年前 (2007/01/14 18:22)推噓3(3推 0噓 4→)

留言7則, 2人參與討論串1/2 (看更多)

我昨天才剛寫到(v) 可是目前一直卡在這個地方問題就是建出來的bdd架構會有問題 test.cpp我建出來的 e = a&(b|c)是對的有四個node d = a&b |a&c 卻一直有六個 node 我跑出來的結果如下 [3] (+)(1) [2] (+) (1) [1] (+)(1) [0] (+)(13) [0] (-)(13) (*) [1] (+) (5) [0] (+)(13) (*) [0] (-)(13) (*) [2] (+)(1) [1] (+)(5) (*) [0] (-)(13) (*) # total nodes = 6 [3] (+) (1) [1] (+) (6) [0] (+) (14) [0] (-) (14) (*) [2] (+) (2) [1] (+) (6) (*) [0] (-) (14) (*) # total nodes = 4 我發現當他在上面的level [2] 那邊看到兩個一樣的child卻沒有刪掉自己回傳child 我在想會不會是 BddManager::ite裡面當t==e時我只有做return t 或是uniquify沒有找到相同的東西 (我uniquify都沒有去動) 不曉得問題是出在哪呢會不會是當t==e時除了return t 還有要 check isNegEdge() 或是哪裡還需要用到uniquify去檢驗我目前code有寫的部份是 check terminal, move bubble, check isNegEdge, operator overloading 還有 _bddMap的三個function 謝謝大家 <(_._)> -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.7.59 ※ 編輯: vinlinch 來自: 140.112.7.59 (01/14 18:34)

推

ric2k1

01/14 20:06, , 1^F

01/14 20:06, 1^F

→

ric2k1

01/14 20:07, , 2^F

01/14 20:07, 2^F

→

ric2k1

01/14 20:07, , 3^F

01/14 20:07, 3^F