[ library(ic_symbolic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

&=<(?X, ?Y, ?Bool)

Reified version of X &=< Y

X: variable or domain value
Y: variable or domain value
Bool: 0, 1, or boolean variable

See Also