
maxdomain(+Var, ?Max)

   Max is the maximum element in the domain of Var.



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

Type
   library(fd)

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.




Resatisfiable
      No.

Fail Conditions
      None.



See Also
   mindomain / 2, :: / 2, dom_to_list / 2
