Re: fd inequality

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Mon 15 Jul 2002 12:06:44 PM GMT
Message-ID: <3D32BAD4.E1FFB260@icparc.ic.ac.uk> 
Alexander Pretschner wrote:
> 
>   Yes (0.09s cpu)
>   [eclipse 2]: X#\=Y-1.
>   no (0.00s cpu)
> 
> Strange.

This is a bug, caused by not giving domains to the variables.
The following works:

[eclipse 2]: [X,Y]::0..100, X#\=Y-1.
X = X{[0..100]}
Y = Y{[0..100]}

Delayed goals:
        1 - Y{[0..100]} + X{[0..100]}#\=0
Yes (0.00s cpu)


-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /            mailto:J.Schimpf@ic.ac.uk
 London SW7 2AZ, UK         /    http://www.icparc.ic.ac.uk/eclipse
Received on Mon Jul 15 13:06:56 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:15 PM GMT GMT