[ library(fd) | 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