[ library(fd) | Reference Manual | Alphabetic Index ]

# var_fd(+Var, +Dom)

Create a domain variable with a given domain.

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

## 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