[ library(fd) | The ECLiPSe Libraries | 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