
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.




Fail Conditions
      None.



Resatisfiable
      No.

See Also
   dvar_attribute / 2, :: / 2, #:: / 2
