Lattice Structure

An important DataStructure used in compilers and otherwhere.

See http://en.wikipedia.org/wiki/Lattice_%28order%29

Can be implemented fairly efficiently with a DirectedAcyclicGraph.

See also PartialOrder, MeetsAndJoins, BottomType.

CategoryMath CategoryDataStructure