
dvar_remove_element(+DVar, +El)

   The element El is removed from the domain of DVar and all concerned lists
are woken.



Arguments
   +DVar               A domain variable.
   +El                 An atomic term.

Type
   library(fd)

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
