public class DirectedGraphWriter extends Object
| Modifier and Type | Field and Description |
|---|---|
protected org.apache.log4j.Logger |
logger |
| Constructor and Description |
|---|
DirectedGraphWriter() |
| Modifier and Type | Method and Description |
|---|---|
void |
saveGraph(DirectedGraph graph,
String destFile)
Dump the graph in Mary format
|
void |
toTextOut(DirectedGraph graph,
PrintWriter pw) |
public void saveGraph(DirectedGraph graph, String destFile) throws IOException
graph - graphdestFile - the destination fileIOException - IOExceptionpublic void toTextOut(DirectedGraph graph, PrintWriter pw) throws IOException
IOExceptionCopyright © 2000–2016 DFKI GmbH. All rights reserved.