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