[ library(cardinal) | Reference Manual | Alphabetic Index ]

?SetVar1 `<> ?SetVar2

Set disjointness constraint (obsolete)
SetVar1
A set variable.
SetVar2
A set variable.

Description

Constrain sets SetVar1 and SetVar2 to be disjoint.

Obsolete: `<>/2 is available only for compatibility with conjunto library syntax. It is equivalent to the preferred `$/2. See its description for details.

See Also

`$ / 2, all_disjoint / 1, complement / 2, complement / 3, `/= / 2, `>= / 2