public class DOTExporter<V,E>
extends java.lang.Object
For a description of the format see http://en.wikipedia.org/wiki/DOT_language.
Constructor and Description |
---|
DOTExporter()
Constructs a new DOTExporter object with an integer name provider for the
vertex IDs and null providers for the vertex and edge labels.
|
DOTExporter(VertexNameProvider<V> vertexIDProvider,
VertexNameProvider<V> vertexLabelProvider,
EdgeNameProvider<E> edgeLabelProvider)
Constructs a new DOTExporter object with the given ID and label
providers.
|
Modifier and Type | Method and Description |
---|---|
void |
export(java.io.Writer writer,
Graph<V,E> g)
Exports a graph into a plain text file in DOT format.
|
public DOTExporter()
public DOTExporter(VertexNameProvider<V> vertexIDProvider, VertexNameProvider<V> vertexLabelProvider, EdgeNameProvider<E> edgeLabelProvider)
vertexIDProvider
- for generating vertex IDs. Must not be null.vertexLabelProvider
- for generating vertex labels. If null, vertex
labels will not be written to the file.edgeLabelProvider
- for generating edge labels. If null, edge labels
will not be written to the file.