public class GrphTextWriter extends AbstractGraphTextWriter
extension_writer
Constructor and Description |
---|
GrphTextWriter() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
void |
printGraph(Grph g,
java.io.PrintStream os) |
void |
printGraph(Grph g,
java.io.PrintStream os,
boolean printEdgesID,
boolean whitespaces) |
printGraph, writeGraph
findWriter, getExtensions, writeGraph, writeGraph
public void printGraph(Grph g, java.io.PrintStream os)
printGraph
in class AbstractGraphTextWriter
public void printGraph(Grph g, java.io.PrintStream os, boolean printEdgesID, boolean whitespaces)
public static void main(java.lang.String[] args) throws java.io.IOException, ParseException, GraphBuildException
java.io.IOException
ParseException
GraphBuildException