
?E notin ?Sterm

   E does not belong to the set term Sterm.



Arguments
   ?E                  A Prolog term.
   ?Sterm              A set term.

Type
   library(conjunto)

Description
   This constraint states that E does not belong to the set term Sterm.  If
   E is not a known value the constraint is delayed.  It is activated as
   soon as E becomes a known value.  If Sterm is a ground set and E is
   known it checks if E does not belong to Sterm.




Fail Conditions
      Fails if E belongs to Sterm.



Resatisfiable
      No.

See Also
   `:: / 2, in / 2
