Class DOTExporter<V,​E>

    • Constructor Summary

      Constructors 
      Constructor 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.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void export​(java.io.Writer writer, Graph<V,​E> g)
      Exports a graph into a plain text file in DOT format.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • DOTExporter

        public 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

        public DOTExporter​(VertexNameProvider<V> vertexIDProvider,
                           VertexNameProvider<V> vertexLabelProvider,
                           EdgeNameProvider<E> edgeLabelProvider)
        Constructs a new DOTExporter object with the given ID and label providers.
        Parameters:
        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.
    • Method Detail

      • export

        public void export​(java.io.Writer writer,
                           Graph<V,​E> g)
        Exports a graph into a plain text file in DOT format.
        Parameters:
        writer - the writer to which the graph to be exported
        g - the graph to be exported