added (a + x) - x = a optimization
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 21 Jun 2005 15:00:06 +0000 (15:00 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 21 Jun 2005 15:00:06 +0000 (15:00 +0000)
new i/f for compute_value_confirm_cmp

[r6079]


No differences found