[ library(fd) | Reference Manual | Alphabetic Index ]
dvar_range(+DVar, ?Min, ?Max)
Return the minimum and maximum domain value of DVar
- +DVar
- A domain variable or integer.
- ?Min
- An integer or a variable.
- ?Max
- An integer or a variable.
Description
Return the minimum and maximum domain value of the domin
variable DVar. This predicate can also be used to test if a
given domain is an integer one or not.
If DVar is instantiated, Min and Max will be identical.
Fail Conditions
None.
Resatisfiable
No.
See Also
dvar_domain / 2, dom_range / 3