fd inequality

From: Alexander Pretschner <apretschner_at_gmx.de>
Date: Sun 14 Jul 2002 10:20:40 AM GMT
Message-ID: <4501.1026642040@www13.gmx.net>
Hi there,

running Eclipse 5.4 on a Linux machine, I get the following:

  > eclipse
  ECLiPSe Constraint Logic Programming System [kernel]
  Copyright Imperial College London and ICL
  Certain libraries copyright Parc Technologies Ltd
  GMP library copyright Free Software Foundation
  Version 5.4 #27, Wed May 15 00:13 2002
  [eclipse 1]: lib(fd).
  fd_domain.eco loaded traceable 0 bytes in 0.02 seconds
  fd_arith.eco loaded traceable 0 bytes in 0.04 seconds
  fd_util.eco loaded traceable 0 bytes in 0.01 seconds
  fd_chip.eco loaded traceable 0 bytes in 0.02 seconds
  fd_elipsys.eco loaded traceable 0 bytes in 0.01 seconds
  fd.eco     loaded traceable 0 bytes in 0.09 seconds

  Yes (0.09s cpu)
  [eclipse 2]: X#\=Y-1.
  no (0.00s cpu)

Strange. If, however, I do the following
  [eclipse 3]: Z#=Y-1,X#\=Z.

I get what I'd suppose would be right:

  Y = Y{[-9999999..10000000]}
  X = X
  Z = Z{[-10000000..9999999]}

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

where I can also later bind Z to some value.

The manual allows rational terms as LHS and RHS for fd:#\=.

Any idea?

Thanks -  Alex

-- 
______________________________
Alexander Pretschner
Software&Systems Engineering
Institut fuer Informatik, TU Muenchen
ph. +49 89 28928325
fax +49 89 28925310
_____________________________

GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net
Received on Mon Jul 15 10:45:44 2002

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