ExportGraphExtension<V, E> extension

on

Methods

toDot({Map<String, String>? graphAttributes, String vertexLabel(V vertex)?, Map<String, String> vertexAttributes(V vertex)?, String edgeLabel(Edge<V, E> edge)?, Map<String, String> edgeAttributes(Edge<V, E> edge)?}) String

Available on Graph<V, E>, provided by the ExportGraphExtension extension

Export this graph to DOT Language typically used to describe Graphviz graphs.