[ 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