[ library(range) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
compare_instances_range(-Res, ?TermL, ?TermR)
Compare instance handler for the range attribute.
- Res
- Result (set to '<','>', or '=')
- TermL
- Term (one must be attributed variable)
- TermR
- Term (one must be attributed variable)
Calling Modes
- compare_instances_range(-, ?, +)
- compare_instances_range(-, +, ?)
Description
Handler for compare_instance for the range attribute. At least one of
TermL or TermR should be an attributed variable.
A range variable is an instance of another when its range is subsumed
by the other range.
See Also
compare_instances / 3