[ library(cardinal) | Reference Manual | Alphabetic Index ]
?Element notin ?SetVariable
Set non-membership constraint
- A set variable.
- A ground term or a variable.
Constrain SetVariable to not include Element.
notin/2 is available for compatibility with conjunto library syntax.
It is equivalent to the preferred `-@/2. See its description for details.
Fails if Element must be a member of SetVariable.
`-@ / 2, `@ / 2, in / 2, `:: / 2