[問題] 問一個問題

[popogone (爐魚)]

就是我們幾個人討論發現在standardize的第三部份時候

兩個看起來感覺應該是一樣的意思的code 有一個卻會對 一個卻會錯

不知道為什麼

<錯的>
if(f.isPosEdge() && g.isPosEdge()){  }

else if(f.isNegEdge() && h.isPosEdge())
        { f = ~f ; BddNode temp = h ; h = g ; g = temp ; }
else if(f.isPosEdge() && g.isNegEdge())
        { g = ~g ; h = ~h ; isNegEdge = true ; }
else if(f.isNegEdge() && h.isNegEdge())
        { f = ~f ; BddNode temp = h ; h = ~g ; g = ~temp ; isNegEdge = true; }

<對的>
if(f.isPosEdge()==true && g.isPosEdge()==true){  }

else if(~f.isPosEdge()==true && h.isPosEdge()==true)
        { f = ~f ; BddNode temp = h ; h = g ; g = temp ; }
else if(f.isPosEdge()==true && ~g.isPosEdge()==true)
        { g = ~g ; h = ~h ; isNegEdge = true; }
else if(~f.isPosEdge()==true && ~h.isPosEdge()==true)
        { f = ~f ; BddNode temp = h ; h = ~g ; g = ~temp ; isNegEdge = true; }

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.4.234
推 timrau:~f.isPosEdge() means ~(f.isPosEdge()), not (~f).isPos..
→ timrau:Also, ~(true) is not always false....
→ popogone:謝謝~
→ popogone:喔我發現對的是因為剛好 原本錯的寫法才是對的