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

dom_copy(+Dom1, -Dom2)

Dom2 is a copy of the domain Dom1.
+Dom1
A finite domain.
-Dom2
A variable.

Description

Dom2 is a copy of the domain Dom1. Since the updates are done in-place, two domain variables must not share the same physical domain and so when defining a new variable with an existing domain, the domain has to be copied first.

Fail Conditions

None.

Resatisfiable

No.

See Also

dom_compare / 3, dom_member / 2, dom_range / 3, dom_size / 2, dvar_domain / 2