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

## See Also

dvar_attribute / 2, :: / 2, #:: / 2