[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# dvar_replace(+DVar, +NewDom)

Change the domain of the domain variable DVar to NewDom without propagating the changes.

+DVar
  A domain variable.
+NewDom
  A finite domain.

## Description

If the size of the domain NewDom is 0, the predicate fails. If the size of the new domain is 1, DVar is given this singleton domain. Otherwise, if the size of the new domain is smaller than the size of the domain variable's domain, the domain of DVar is replaced by NewDom, but no suspensions are passed to the waking scheduler.

This predicate is useful for local consistency checks.

### Fail Conditions

None.

### Resatisfiable

No.

## See Also

dvar_attribute / 2, :: / 2, #:: / 2, dvar_update / 2