
mindomain(+Var, ?Min)

   Min is the minimum element in the domain of Var.



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

Type
   library(fd)

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
