"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

Reply via email to