4.15.10 Tuple functor

For the tuple lattice functor, all projections must be finite domains of constants.

4.15.10.1 Select function

The select function uses the selection constraint for Oz finite domain variables to select one integer (encoding the tuple) from the list of integers (encoding the list of tuples).

4.15.10.2 Make variable function

The make variable function creates an Oz finite domain variable ranging over the domain of the lattice, a finite domain of integers encoding the tuples.

4.15.10.3 Count function

Returns:

     o(fd: 1
       fs: 0)

4.15.10.4 Additional interface features

     domains: Lats
     card: I
     dSpec: DSpec
     i2As: I2As

The domains feature corresponds to a list of lattices which correspond to the projections of the tuple.

The card feature corresponds to the cardinality of the domain encoding the tuple.

The dSpec feature corresponds to the finite domain specification of the finite domain used to encode the tuple.

The i2As feature corresponds to a function from integers (encoding tuples) to lists of atoms representing the tuple corresponding to the integer.