4.15.4 Flat lattice functor

The flat lattice functor defines basic functionality inherited by some of the other lattice functors.

4.15.4.1 Select function

The select function uses the selection constraint for Oz finite domain variables to select one value from the list of values.

4.15.4.2 Make variable function

The make variable function of this lattice creates an undetermined Oz variable.

4.15.4.3 Count function

The count function returns:

     o(fd: 0
       fs: 0)

4.15.4.4 Additional interface features

None.