[ library(COLIBRI_DOC) | ]

X $= Y

X is equal to Y.
X
A Real term.
Y
A Real term.

Description

This constraints states that the two terms are equal. It is activated whenever a bound of a domain variable is updated that might require updating other domains. 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 two terms have a different value.

Resatisfiable

no

Examples

Success:
    real_vars(double,[X,Y]), X $: 1.0 .. 10.0, Y $: 5.0 .. 20.0, X $= Y.
    (gives X = _436{[5.0 .. 10.0]}, Y = _436{[5.0 .. 10.0]})

Fail:
    real_vars(double,[X,Y]), X $: 1.0 .. 10.0, Y $: 15.0 .. 20.0, X $= Y.

See Also

$: / 2, real_vars / 2