[ library(cardinal) | Third Party Libraries | 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