作者popogone (爐魚)
看板EE_DSnP
標題[問題] 問一個問題
時間Sun Jun 22 15:49:26 2008
就是我們幾個人討論發現在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
1F:推 timrau:~f.isPosEdge() means ~(f.isPosEdge()), not (~f).isPos.. 06/22 19:21
2F:→ timrau:Also, ~(true) is not always false.... 06/22 19:22
3F:→ popogone:謝謝~ 06/22 23:43
4F:→ popogone:喔我發現對的是因為剛好 原本錯的寫法才是對的 06/24 11:40