[ 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