[ library(fd) | Reference Manual | Alphabetic 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.

See Also

#:: / 3, dvar_domain / 2, :: / 2, #:: / 2