Re: 求救

[phloke ()]

※ 引述《phloke ()》之銘言：
1. return ite(…,…,…)
   不建議這樣寫，可能會有recursive call
   我是直接改變f、g、h的值，參考看看吧。

2. &f  &g  &h
   應該改成f()、g()、h()，因為f、g、h是BddNode，不同的BddNode
   可以指到相同的BddNodeInt，做standardize的時候也要視為相同。

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.5.65
推 ric2k1:不懂 2... what's the problem for standardize(BddNode& f
→ ric2k1:, BddNode& g, BddNode& h)?
比方說有兩個BddNodeInt在同一個level，分別有兩個BddNode a, b指到他們，
而且a的address大於b的address，那麼做ite(a,1,b)會改成ite(b,1,a)（如果是
檢查BddNode的address的話）。
那麼現在同樣是那兩個BddNodeInt，分別由BddNode c, d指到他們，但是c的address小於
d的address，那麼做ite(c,1,d)就不會改變c,d的順序，這樣就和ite(a,1,b)的情況不同
。

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.5.65