[ ECLiPSe Finite Domain built-in.|Group Index| Full Index]

dvar_domain(+DVar, -Dom)

Dom is the domain of the domain variable DVar.

+DVar
A domain variable.
-Dom
A variable.

Description

Dom is the domain of the domain variable DVar. If DVar is instantiated, Dom is bound to a singleton domain.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

Examples


See Also

dvar_attribute / 2, :: / 2