[ 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