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

ic:(?ExprX >= ?ExprY)

ExprX is greater than or equal to ExprY.
ExprX
Arithmetic expression
ExprY
Arithmetic expression

Description

Constrains ExprX to be greater than or equal to ExprY.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

< / 2, =< / 2, =:= / 2, > / 2, =\= / 2, #>= / 2, >= / 3, >= / 2, colgen : >= / 2, suspend : >= / 2, eplex : >= / 2