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

# maxdomain(+Var, ?Max)

Max is the maximum element in the domain of Var.

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

## Description

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

### Fail Conditions

None.

### Resatisfiable

No.

## See Also

mindomain / 2, :: / 2, #:: / 2, dom_to_list / 2