public class EdgeListReader extends AbstractGraphReader
extension_readerClass
Constructor and Description |
---|
EdgeListReader() |
Modifier and Type | Method and Description |
---|---|
boolean |
allowsMultipleEdges() |
static void |
alterGraph(Grph g,
java.io.InputStream is,
boolean allowsMultipleEdges,
boolean createDirectedEdges,
NumericalProperty edgeWeightProperty) |
boolean |
isCreateDirectedEdges() |
Grph |
readGraph(java.io.InputStream is) |
void |
setAllowsMultipleEdges(boolean allowsMultipleEdges) |
void |
setCreateDirectedEdges(boolean createDirectedEdges) |
findReader, parseNumber, readGraph, readGraph, readGraph
public boolean allowsMultipleEdges()
public void setAllowsMultipleEdges(boolean allowsMultipleEdges)
public boolean isCreateDirectedEdges()
public void setCreateDirectedEdges(boolean createDirectedEdges)
public Grph readGraph(java.io.InputStream is) throws ParseException, java.io.IOException
readGraph
in class AbstractGraphReader
ParseException
java.io.IOException
public static void alterGraph(Grph g, java.io.InputStream is, boolean allowsMultipleEdges, boolean createDirectedEdges, NumericalProperty edgeWeightProperty) throws ParseException, java.io.IOException
ParseException
java.io.IOException