[ ECLiPSe Finite Domain built-in.|Group Index|
Full 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.
Exceptions
Examples
See Also
mindomain / 2, :: / 2, dom_to_list / 2