[gecode-users] Boolean expressions: difference between ^ and !=

[Christian Schulte]

Yep, they are the same thing. Cheers Christian
________________________________________
From: users-bounces at gecode.org <users-bounces at gecode.org> on behalf of Kish Shen <kisshen at cisco.com>
Sent: Wednesday, July 15, 2015 8:55 PM
To: users at gecode.org
Subject: [gecode-users] Boolean expressions: difference between ^ and !=

Hi,

I am reviewing the documentation/updates I have made to ECLiPSe's Gecode
interface, and I noticed that for Boolean expressions, which are mapped
to MiniModel's BoolExpr, I have not implemented the non-equivalence
operator (!=).

I have implemented exclusive or (^). I am not sure how this is different
from non-equivalence -- both seem to be true if the
two sides are different, and false otherwise. Am I missing something?

Cheers,

Kish

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users