Well, in this particular case a new IntVar is created which is then constrained with a linear constraint.
Please read the relevant sections in MPG, they also refer to the reference documentation which in turn refers to the implementation. Best Christian -- Christian Schulte, KTH, web.it.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Sascha Van Cauwelaert Sent: Friday, June 03, 2011 2:38 PM To: users@gecode.org Subject: [gecode-users] Linear expressions in Gecode Hello, currently, I am working on my master thesis using Gecode. I have a question about how linear expressions are managed in Gecode : for instance, in the n-queen problem, when q[i]+i is passed as a parameter of the distinct propagator, is internally another intvar array created and some channelling is done then ? If not, could you explain me how it is done or tell me where I could find the information please ? In advance, I thank you for your help. Best regards, Sascha Van Cauwelaert _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
