[ 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