public class GraphvizEncoder extends Object
Constructor and Description |
---|
GraphvizEncoder() |
Modifier and Type | Method and Description |
---|---|
void |
encode(Graph graph,
Collection<Object> nodes,
Collection<Edge<?>> edges,
String filename)
Encode the graph to graphviz output
|
public void encode(Graph graph, Collection<Object> nodes, Collection<Edge<?>> edges, String filename) throws IOException
graph
- the graph to encodenodes
- the list of nodes that must be part of the exportedges
- the list of edges that must be part of the exportfilename
- the path to the output fileIOException
Copyright © 2005–2020. All rights reserved.