[ library(COLIBRI_DOC) | ]
X $< Y
X is stricly less than 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 $: 1.0 .. 10.0, Y $: 1.0 .. 10.0, X $< Y.
(gives X = _507{[1.0 .. 9.999999]},Y = _428{[1.0000001 .. 10.0]})
Fail:
real_vars(float,[X,Y]), X $: 1.0 .. 10.0, Y $: 15.0 .. 20.0, Y $< X.
See Also
$=< / 2, $\= / 2