[gecode-users] posting a reified equality constraint

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Denys Duchier
Sent: Monday, October 06, 2008 2:56 PM
To: users at gecode.org
Subject: Re: [gecode-users] posting a reified equality constraint

"Christian Schulte" <cschulte at kth.se> 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
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users