
dvar_attribute(+DVar, ?Attrib)

   Attrib is the attribute of the domain variable DVar.



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

Type
   library(fd)

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.




Resatisfiable
      No.

Fail Conditions
      None.



See Also
   dvar_domain / 2, :: / 2
