AbstractDistributiveLattice 

AbstractElement 

AbstractLattice 
An abstract implementation of Lattice providing obvious
implementations of orderrelated operators and an
implementation of AbstractLattice.elements() based on exhaustive generation.

Boolean 
The Boolean distributive lattice.

Chain 
A chain (a.k.a. linearly ordered) distributive lattice.

Flat 
A flat lattice: all elements are incomparable
except for zero and one.

IntervalAntichains 
The distributive lattice of antichains of intervals of a linear finite
order.

IntervalAntichains.Antichain 
A class representing elements of this lattice (antichains of intervals).

Lattices 

NamedElement 

Op 
The opposite (a.k.a.

Parts 
The distributive lattice of subsets of an initial segment of the natural numbers.

Product 
The (categorical) product of lattices.

Sum 
The (categorical) sum (a.k.a. free direct product) of distributive lattices.

Trivial 
The trivial distributive lattice of just one element.
