[ 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