[ 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