edu.stanford.math.plex4.graph.io
public class GraphDotWriter extends java.lang.Object implements ObjectWriter<AbstractUndirectedGraph>
Constructor and Description |
---|
GraphDotWriter() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getExtension() |
void |
writeToFile(AbstractUndirectedGraph object,
java.lang.String path) |
public void writeToFile(AbstractUndirectedGraph object, java.lang.String path) throws java.io.IOException
writeToFile
in interface ObjectWriter<AbstractUndirectedGraph>
java.io.IOException
public java.lang.String getExtension()
getExtension
in interface ObjectWriter<AbstractUndirectedGraph>