public interface GraphWriter
| Modifier and Type | Method and Description |
|---|---|
void |
writeGraph(Graph graph,
java.io.File f)
Write a graph to the given File.
|
void |
writeGraph(Graph graph,
java.io.OutputStream os)
Write a graph from the given OutputStream.
|
void |
writeGraph(Graph graph,
java.lang.String filename)
Write a graph to the file with the given filename.
|
void writeGraph(Graph graph, java.lang.String filename) throws DataIOException
graph - the Graph to writefilename - the file to write the graph toDataIOExceptionvoid writeGraph(Graph graph, java.io.File f) throws DataIOException
graph - the Graph to writef - the file to write the graph toDataIOExceptionvoid writeGraph(Graph graph, java.io.OutputStream os) throws DataIOException
graph - the Graph to writeos - the OutputStream to write the graph toDataIOException