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

dvar_attribute(+DVar, ?Attrib)

Attrib is the attribute of the domain variable DVar.

+DVar
A domain variable.
?Attrib
Any Prolog term.

Description

Attrib is the attribute of the domain variable DVar. If DVar is instantiated, Attrib is bound to an attribute with a singleton domain and empty suspension lists.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

Examples


See Also

dvar_domain / 2, :: / 2