Class Lattices


public class Lattices
extends Object
  • Method Details

    • generateDot

      public static void generateDot​(Lattice lattice, Map<Element,​Set<Element>> coveringRelation, PrintWriter writer, boolean labels)
      Output Graphviz code for the covering relation of a lattice.

      Note that the code will include just nodes and arcs. Initial and final code will have to be set up manually.

      lattice - a lattice.
      coveringRelation - the covering relation of lattice, as computed by Lattice.coveringRelation().
      writer - a writer to output the code.
      labels - whether labels should be added to the emitted code.