[ library(COLIBRI_DOC) | ]
X $\= Y
X is not equal to Y.
- X
- A real term.
- Y
- A real term.
Description
This constraints exists also in a reified form, (X $\= 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 inequality.
Resatisfiable
no
Examples
Success:
real_vars(float,X), X $: 2.0 .. 10.0, X $\= 5.0.
(gives X = _367{[2.0 .. 4.9999995, 5.0000005 .. 10.0]})
real_vars(float,[X,Y]), X $: 1.0 .. 10.0, Y $: 15.0 .. 20.0, X $\= Y.
(domains intersection is empty)
Fail:
real_vars(float,[X,Y]), X $: 1.0 .. 10.0, Y $: 15.0 .. 20.0, X $= Y, X $\= Y.
See Also
$= / 2