it.unimi.dsi.lama4j

Class Lattices

java.lang.Object

it.unimi.dsi.lama4j.Lattices

public class Lattices
extends Object

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

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.

Parameters:

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.