[ 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