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

var_fd(+Var, +Dom)

Create a domain variable with a given domain.
A variable or a domain variable.
A finite domain.


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.



See Also

:: / 2, #:: / 2, dvar_domain / 2