[ ECLiPSe Finite Domain built-in.|Group Index| Full 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.

Exceptions

Examples


See Also

:: / 2, dvar_domain / 2