[ library(suspend) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
?Vars :: ?Range
Constrain Vars' binding to fall within the interval Range
- Vars
- Variable or number, or a list of variables or numbers
- Range
- Variable or Lo..Hi, where Lo and Hi are variables or numbers
Description
This constraint succeeds if the variables in Vars falls within the range
specified in Range. The constraint is suspended until both arguments are
ground before it is evaluated.
The range must eventually be in the form Lo..Hi, where Lo and Hi are
numbers. If both are integers, then Vars must also be integers (integer or
list of integers).
Fail Conditions
Vars does not fall within Range.