[ library(COLIBRI_DOC) | ]
X => Y
X implies Y.
- X
- A "boolean" integer term (range 0..1).
- Y
- A "boolean" integer term (range 0..1).
Description
Equivalent to the expression neg(X) or Y. This constraints exists also in a reified form, (X => Y) #= Bool, where Bool is an int variable ranging in 0..1.
See Also
neg / 2, and / 2, or / 2, xor / 2, ite / 3