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.IOExceptionpublic java.lang.String getExtension()
getExtension in interface ObjectWriter<AbstractUndirectedGraph>