作者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