[ library(COLIBRI_DOC) | ]
X xor Y
Eclusive or of X and Y.
- X
- A "boolean" integer term (range 0..1).
- Y
- A "boolean" integer term (range 0..1).
Description
This constraints exists also in a reified form, (X xor Y) #= Bool, where Bool is an int variable ranging in 0..1.
Fail Conditions
Fails if the domains of the two terms cannot satisfy the logical operator.
Resatisfiable
no
Examples
Success:
int_vars(int,X), X xor 1.
(gives X = 0)
Fail:
int_vars(int,X), X or X.
See Also
neg / 2, and / 2, or / 2, => / 2, ite / 3