Hi Rosella Firstly please don't post general queries to the bugs mailing list. Please post to eclipse-users instead. Have you tried the following: [eclipse 1]: lib(ic). Yes (0.36s cpu) [eclipse 2]: X #:: 0..1, Y #:: 0..3, X #= Y. X = X{[0, 1]} Y = X{[0, 1]} Yes (0.00s cpu) So having posted the constraint 'X #= Y' Y's domain is effectively 0..1. However if you are referring to achieving full arc-consistency in the presence of disequality constraints please refer to the manual / tutorial chapters on the Propia library. Have I missed something? Cheers Andy On Thu, Jan 13, 2005 at 09:09:54PM +0100, Rosella Gennari wrote: > Hello, > > I would like to post a question about constraint problems over finite > domains: is there a way to enforce a constraint of the form > forall values of X. c(X,Y) > in the current version of ECLiPSe (perhaps without nested forall)? > > For instance, say I have > > X #:: 0..1, Y #:: 0..3, X #= Y > > and now I'd like to constrain Y#:: 0..3, X #=Y so that X#=Y is > satisfied for all the values X can take in its domain. Adding such > universal constraint, the domain of Y should be reduced to 0..1. > > Thanks in advance for all your help. > > Kind regards, > R. > >Received on Thu Jan 13 21:23:03 2005
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:33 PM GMT GMT