[ library(cardinal) | Reference Manual | Alphabetic Index ]
?Element notin ?SetVariable
Set non-membership constraint
- SetVariable
- A set variable.
- Element
- A ground term or a variable.
Description
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.
Fail Conditions
Fails if Element must be a member of SetVariable.
Resatisfiable
No.
See Also
`-@ / 2, `@ / 2, in / 2, `:: / 2