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 order-related 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.
|