[ 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