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