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

?Expr1 $>= ?Expr2

The value of Expr1 is greater than or equal to the value of Expr2.
Expr1
An arithmetic expression
Expr2
An arithmetic expression

Description

Suspends until both Expr1 and Expr2 are ground, and then both arguments are evaluated and compared, succeeding iff Expr1 is than greater or equal to Expr2 (beware of rounding errors when comparing reals).

Modules

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

Fail Conditions

fails if the value of Expr1 is smaller than the value of Expr2

Exceptions

(24) number expected
Expr1 or Expr2 is not an arithmetic expression.

See Also

$>= / 3, >= / 2, colgen : $>= / 2, ic : $>= / 2, eplex : $>= / 2