[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
The element El is removed from the domain of DVar and all concerned lists
- A domain variable.
- An atomic term.
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.
dvar_attribute / 2, :: / 2, #:: / 2