Yep, they are the same thing. Cheers Christian ________________________________________ From: [email protected] <[email protected]> on behalf of Kish Shen <[email protected]> Sent: Wednesday, July 15, 2015 8:55 PM To: [email protected] 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 [email protected] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
