作者osiris5435 (osiris5435)
看板EE_DSnP
標題[問題] BddNode operator <=
時間Sun Jun 22 14:12:54 2008
老師的注解是
// (*this) < n iff
// (i) level < n.level
// (ii) level == n.level && _nodeV <= n._nodeV
我覺得第一跟第二行是不是應該是 <= ?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.139.40.193
1F：推 timrau:第二行還是對的吧？ 06/22 14:41
2F：→ osiris5435:OH~~~ got it 06/22 15:01
3F：推 itspeter:樓上可以解釋為什麼嗎..@@ 06/23 00:53
4F：→ osiris5435:第二行不能是 <= 的原因是 如果 "==" 成立 還必須加上 06/23 22:33
5F：→ osiris5435:_node 的比較條件,而這就是第三行在做的事 06/23 22:33