[ library(suspend) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
?Expr1 #<= ?Expr2
The integer value of Expr1 is lesser or equal to the integer value of Expr2.
- Expr1
- An integer arithmetic expression
- Expr2
- An integer arithmetic expression
Description
Suspends until both Expr1 and Expr2 are ground, and then both arguments
are evaluated and compared, succeeding if they are both integers and
Expr1 is lesser or equal to Expr2. #<=/2 and #=Fail Conditions
fails if the value of Expr1 is greater than the value of Expr2, or if either do not evaluated to an integer.
Resatisfiable
No
Exceptions
- (5) type error
- Expr1 or Expr2 is not an arithmetic expression.