[ library(COLIBRI_DOC) | ]

X $=< Y

X is less or 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,Y]), X $: 2.0 .. 10.0, Y $: 1.0 .. 9.0, X $=< Y.
    (gives X = _436{[2.0 .. 9.0]}, Y = _436{[2.0 .. 9.0]})

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

See Also

$< / 2, $\= / 2