[ 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