- implement a <= x <= b ==> x-a <=u b-a
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sat, 2 Jan 2010 02:49:51 +0000 (02:49 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sat, 2 Jan 2010 02:49:51 +0000 (02:49 +0000)
- fixed path compression
- use debug output instead of fprintf

[r26872]


No differences found