[ library(COLIBRI_DOC) | ]

X #= Y

X is equal to Y.
X
An integer term.
Y
An integer 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:
    int_vars(int,[X,Y]), X #: 1 .. 10, Y #: 5 .. 20, X #= Y.
    (gives X = _436{[5 .. 10]}, Y = _436{[5 .. 10]})

Fail:
    int_vars(int,[X,Y]), X #: 1 .. 10, Y #: 15 .. 20, X #= Y.

See Also

#: / 2, int_vars / 2