public class Dot extends GraphFile
Constructor and Description |
---|
Dot() |
Modifier and Type | Method and Description |
---|---|
void |
readFromFile(java.io.File inputFile)
Reads the graph information in the specified File into
the underlying Graph.
|
void |
writeToFile(java.io.File outputFile)
Writes the underlying graph information to the specified File
in a specific file format.
|
public void writeToFile(java.io.File outputFile) throws java.io.IOException
GraphFile
writeToFile
in class GraphFile
java.io.IOException
public void readFromFile(java.io.File inputFile) throws java.io.IOException
GraphFile
readFromFile
in class GraphFile
java.io.IOException