作者spock ()
看板EE_DSnP
標題[問題] 關於 BddNode:: operator <=
時間Mon Jun 16 18:07:33 2008
(i) level < n.level
(ii) level == n.level && _nodeV <= n.nodeV
以上是老師的註解，似乎沒有考慮到 _nodeV 指向同一個 address 時，
-F 會大於 F。
不過因為 standardize 時，已經先把 identical parameters 變成 1 或 0，
所以之後再比較，不會出現 F 與 -F 比較的情況。
但是在的文章內，老師有提到過這些 rules 的步驟反過來也會得到相同結果。
這一步若是先於 identical，應該會出問題。
說到這裡，這個問題好像變成非常 trivial...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.63.233
1F：推 ric2k1:嗯 的確有可能會造成 cache hit rate 的不同 06/16 18:57
2F：→ ric2k1:不過影響的應該只是 runtime, 而不是 BDD 的結果 06/16 18:58
3F：→ ric2k1:我也不確定會有多大的影響就是了 06/16 18:59