[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# mindomain(+Var, ?Min)

Min is the minimum element in the domain of Var.

+Var
  A domain variable or an integer.
?Min
  A variable or an integer.

## Description

If Var is a domain variable then Min is unified with the minimum value in the domain of Var. If Var is an integer then Min is unified with Var.

### Fail Conditions

None.

### Resatisfiable

No.

## See Also

maxdomain / 2, :: / 2, #:: / 2, dom_to_list / 2