The idea was to make reification explicit and distinguish it from equality (which exists for Boolean variables).
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Denys Duchier Sent: Monday, October 06, 2008 2:56 PM To: [EMAIL PROTECTED] Subject: Re: [gecode-users] posting a reified equality constraint "Christian Schulte" <[EMAIL PROTECTED]> writes: > And the most straightforward one, would be: > rel(this, X, IRT_EQ, k, b) Thanks for all these enlightening ways of getting the job done :-) Still, I am curious: is there a technical reason why overloadings have not been provided to allow me to say simply: post(this, (X==k)==b )? Cheers, --Denys _______________________________________________ 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
