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

<(?Expr1, ?Expr2, ?Bool)

Reified arithmetic comparison
Expr1
An arithmetic expression
Expr2
An arithmetic expression
Bool
Variable, 0 or 1

Description

Reified version of This constraint suspends until its first two arguments are ground. It then unifies Bool according to the truth value of the corresponding Modules This predicate is sensitive to its module context (tool predicate, see @/1).

Exceptions

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

See Also

< / 2, $< / 3