[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Exclusive-Or operator?
Thanks! I duplicated this question & answer to StackOverflow for easy future reference: https://stackoverflow.com/questions/46698480/is-there-an-xor-exclusive-or-infix-operator-in-tla
Might trawl through other common questions here and do the same for them.
On Wednesday, October 11, 2017 at 3:14:24 PM UTC-7, Hillel Wayne wrote:
There's no native infix operator, but you can define it as
A ^^ B == (A \/ B) /\ ~(A /\ B)
I don't believe any of the standard modules define ^^.
On Wednesday, 11 October 2017 15:08:59 UTC-7, Andrew Helwer wrote:
Quick question - does TLA+ have an xor infix operator?