
dvar_domain(+DVar, -Dom)

   Dom is the domain of the domain variable DVar.



Arguments
   +DVar               A domain variable.
   -Dom                A variable.

Type
   library(fd)

Description
   Dom is the domain of the domain variable DVar.  If DVar is instantiated,
   Dom is bound to a singleton domain.




Resatisfiable
      No.

Fail Conditions
      None.



See Also
   dvar_attribute / 2, :: / 2
