grph.io

Class EdgeListWriter

java.lang.Object

grph.io.AbstractGraphWriter

grph.io.AbstractGraphTextWriter

grph.io.EdgeListWriter

public class EdgeListWriter
extends AbstractGraphTextWriter

Field Summary

Fields inherited from class grph.io.AbstractGraphWriter

extension_writer

Constructor Summary

Constructors

Constructor and Description
EdgeListWriter()

Method Summary

Modifier and Type	Method and Description
boolean	isPrintEdges()
void	printGraph(Grph graph, java.io.PrintStream os)
void	setPrintEdges(boolean printEdges)

Methods inherited from class grph.io.AbstractGraphTextWriter

printGraph, writeGraph

Methods inherited from class grph.io.AbstractGraphWriter

findWriter, getExtensions, writeGraph, writeGraph

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EdgeListWriter

public EdgeListWriter()

Method Detail

isPrintEdges

public boolean isPrintEdges()

setPrintEdges

public void setPrintEdges(boolean printEdges)

printGraph

public void printGraph(Grph graph,
                       java.io.PrintStream os)
                throws java.io.IOException

Specified by:

printGraph in class AbstractGraphTextWriter

Throws:

java.io.IOException