[gecode-users] Linear expressions in Gecode

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Sascha Van Cauwelaert
Sent: Friday, June 03, 2011 2:38 PM
To: users at 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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users