[ library(fd) | Reference Manual | Alphabetic Index ]
mindomain(+Var, ?Min)
Min is the minimum element in the domain of Var.
- +Var
- A domain variable or an integer.
- ?Min
- A variable or an integer.
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