4.15.8 Set functor

The set lattice functor is defined differently depending on its domain, which can be:

1. a finite domain of constants or a tuple of which all projections are finite domains of constants
2. integer

4.15.8.1 Select function

1. The select function uses the selection constraint for Oz finite set variables to select one set of integers from the list of sets of integers.
2. See 1.

4.15.8.2 Make variable function

1. The make variable function creates an Oz finite set variable ranging over all possible sets of integers over the domain of the set.
2. See 1.

4.15.8.3 Count function

1. Returns:

             o(fd: 0
               fs: 1)
        

2. See 1.

4.15.8.4 Additional interface features

1.           domain: Lat
             card: I
             setTypeA: A
        

   The domain feature is the lattice corresponding to the domain of the set.

   The card feature is the cardinality of the power set of the set.

   The setTypeA feature is either the atom a (accumulative set), or i (intersective set).

2.           domain: Lat
             setTypeA: A