[ library(fd) | Reference Manual | Alphabetic Index ]
dvar_remove_element(+DVar, +El)
The element El is removed from the domain of DVar and all concerned lists
are woken.
- +DVar
- A domain variable.
- +El
- An atomic term.
Description
   The element El is removed from the domain of DVar and all concerned
   lists are woken.  If the resulting domain is empty, this predicate
   fails.  If it is a singleton, DVar is instantiated.  If the domain does
   not contain the element, no updates are made.
Fail Conditions
   None.
Resatisfiable
   No.
See Also
dvar_attribute / 2, :: / 2, #:: / 2