All Classes
Class  Description 

AbstractDistributiveLattice 
An abstract extension of
AbstractLattice
that returns true upon calls to Lattice.isDistributive() . 
AbstractElement 
An abstract implementation of
Element providing most operations by delegation to the
containing lattice. 
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.

Element 
An element of a lattice.

ElementLatticeMismatchException 
An exception suggesting that an operation was being performed upon elements that did not match
the lattice performing the operation.

ElementNameException 
An exception suggesting that a lattice does not contain an element with a certain name.

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).

Lattice 
A lattice with zero and one (sometimes called a bounded lattice).

Lattices  
NamedElement 
An extension of
AbstractElement the associates a name with the element. 
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.
