[ library(fd) | 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