The Partial library provides a partial order class. It also provides routines for generating a Hasse diagram from a set and a partial order.
Renderers are provided for the abstract Hasse diagram
representation into LaTeX (via Xy-pic) and
into dot, the format for AT&T's Graphviz
tools. Since no horizontal sorting is done, the Xy-pic output is
rather poor at present; dot does a much better job with its layout
optimisation algorithm.
Back to my home page.
--KW 8-)