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

Reply via email to