[ library(COLIBRI_DOC) | ]
X #=< Y
X is less or equal to Y.
- X
- An integer term.
- Y
- An integer 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:
int_vars(int,[X,Y]), X #: 2 .. 10, Y #: 1 .. 9, X #=< Y.
(gives X = _436{[2 .. 9]}, Y = _436{[2 .. 9]})
Fail:
int_vars(int,[X,Y]), X #: 1 .. 10, Y #: 15 .. 20, Y #=< X.
See Also
#< / 2, #\= / 2