[ library(suspend) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
?Expr1 >= ?Expr2
The value of Expr1 is greater 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 Expr1 is greater or equal to
Expr2 (beware of rounding errors when comparing reals).
Fail Conditions
fails if the value of Expr1 is smaller than the value of Expr2
Resatisfiable
No
Exceptions
- (5) type error
- Expr1 or Expr2 is not an arithmetic expression.