7 Finite Set Constraints: FS

We use the following notation for operations and relations on sets. We write \cup, \cap, and \backslash for set union, intersection, and difference, \subseteq and \| for inclusion and disjointness, \# for the set cardinality, and \in for the element relation. Furthermore, we write \emptyset and \uniset for the empty set and the universal set.

For every set specification Spec we write the set M specified by Spec as M = ~$
\newcommand{\conv}{{\it set}}
\newcommand{\convinv}{{\it set}^{-1}}
\conv({Spec}). For example, \conv(\mbox{\codeinline{oz}{[1\#3 5 7]}}) denotes \{1,2,3,5,7\}. Further, for every set S we denote with {D} = \convinv({S}) a set description D such that \conv({\tt D}) = {\tt S}.

For more information on the finite set constraint system see [MM97].

Denys Duchier, Leif Kornstaedt, Martin Homik, Tobias Müller, Christian Schulte and Peter Van Roy
Version 1.4.0 (20080702)