[問題] 問一個問題
就是我們幾個人討論發現在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
推
06/22 19:21, , 1F
06/22 19:21, 1F
→
06/22 19:22, , 2F
06/22 19:22, 2F
→
06/22 23:43, , 3F
06/22 23:43, 3F
→
06/24 11:40, , 4F
06/24 11:40, 4F