Package it.unimi.dsi.lama4j

Interface Summary

Interface	Description
Element	An element of a lattice.
Lattice	A lattice with zero and one (sometimes called a bounded lattice).

Class Summary

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

Exception Summary

Exception	Description
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.