[ 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