
var_fd(+Var, +Dom)

   Create a domain variable with a given domain.



Arguments
   +Var                A variable or a domain variable.
   +Dom                A finite domain.

Type
   library(fd)

Description
   If Var is a free variable, is becomes a domain variable with the domain
   Dom and with empty suspension lists.  The domain Dom is copied to make
   in-place updates logically sound.  If Var is already a domain variable,
   its domain is intersected with the domain Dom.




Fail Conditions
      Fails if Var is not a variable.



Resatisfiable
      No.

See Also
   :: / 2, #:: / 2, dvar_domain / 2
