[ 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