[ library(range) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
is_range(?Term)
Succeeds if Term is a ranged variable.
- Term
- A Term
Description
Test if the term Term is a ranged variable. Succeed if it is, fail otherwise.
Fail Conditions
Var is not a ranged variable.