[eclipse-users] Changes on indomain/1 ?

From: Besnik Seljimi <Besnik.Seljimi_at_imag.fr>
Date: Wed, 14 Mar 2007 15:02:28 +0100
Hi,

Can somebody explain me why the call to ic:indomain(?X) fails on large 
intervals !

[eclipse 10]: lib(ic), X #:: -2147483648..2147483647, ic:indomain(X).
out of range in indomain(X{-2147483648 .. 2147483647})
Abort

While the following succeeds !

[eclipse 11]: lib(ic), X #:: -2147483648..2147483647, ic:indomain(X,min).
X = -2147483648
Yes (0.00s cpu, solution 1, maybe more) ?

In the documentation of indomain(?Var, ++Method) it is stated:
min : This behaves like the built-in indomain/1, except that it removes 
previously tested values on backtracking.

Actually, it succeeded on ECLiPSe 5.8 and it fails on ECLiPSe 5.10!

Thanks in advance,
Besnik



Received on Wed Mar 14 2007 - 14:02:06 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:57 CET