And the most straightforward one, would be: rel(this, X, IRT_EQ, k, b)
Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Guido Tack Sent: Friday, October 03, 2008 11:27 PM To: Denys Duchier Cc: [EMAIL PROTECTED] Subject: Re: [gecode-users] posting a reified equality constraint Denys Duchier wrote: > I am stumped on something that is completely trivial. How do I "post" > the reified constraint (X=k)=B where X is an IntVar, k is an int and B > is a BoolVar? Reified constraints seem to be en vogue these days ;-) post(this, eqv(~(X == k), B)); would be one solution, dom(this, X, k, k, B); another. Cheers, Guido _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users