From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>

Date: Mon 09 Feb 2004 02:05:20 PM GMT

Message-ID: <402793A0.2060800@icparc.ic.ac.uk>

Date: Mon 09 Feb 2004 02:05:20 PM GMT

Message-ID: <402793A0.2060800@icparc.ic.ac.uk>

Karen Petrie wrote: > Hi all, > > I have a constraint linking two sets of variables together. Binary variables x_{i,j} :: [0,1] and variables y_{i,j} :: [0..511]. > > The constraint is (using fd library): > > y_{i,j} #= x_{i,j} + (2 * x_{i,j+1}) + (4 * x_{i,j+2}) + (8 * x_{i+1,j}) + (16 * x_{i+1,j+1}) + (32 * x_{i+1,j+2}) + (64 * x_{i+2,j}) + (128* x_{i+2,j+1}) + (256* x_{i+2,j+2}) > > The y variables are the search variables. On a value being set for the y variable I would expect each of the x variables to automatically be set, This seems to work fine (both in fd and ic): ?- (for(I,0,8), foreach(C*B,Sum) do B::0..1, C is 2^I), X #= sum(Sum). B = B C = C I = I X = X{[0..511]} Sum = [1 * B{[0, 1]}, 2 * B{[0, 1]}, 4 * B{[0, 1]}, 8 * B{[0, 1]}, 16 * B{[0, 1]}, 32 * B{[0, 1]}, 64 * B{[0, 1]}, 128 * B{[0, 1]}, 256 * B{[0, 1]}] There is 1 delayed goal. Yes (0.00s cpu) ?- (for(I,0,8), foreach(C*B,Sum) do B::0..1, C is 2^I), X #= sum(Sum), X=235. B = B C = C I = I Sum = [1*1, 2*1, 4*0, 8*1, 16*0, 32*1, 64*1, 128*1, 256*0] X = 235 Yes (0.00s cpu) > but on looking at the seach through the visulisation tools this does not seem to be the case. If you are watching during execution, maybe the constraints have woken up, but haven't been executed and done their work at the time you are looking. -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc / mailto:J.Schimpf@imperial.ac.uk Imperial College London / http://www.icparc.ic.ac.uk/eclipseReceived on Mon Feb 09 14:10:38 2004

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