[ ECLiPSe Finite Domain built-in.|Group Index| Full 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.

Exceptions

Examples


See Also

maxdomain / 2, :: / 2, dom_to_list / 2