public class GrphTextReader extends AbstractGraphReader
extension_readerClass
Constructor and Description |
---|
GrphTextReader() |
Modifier and Type | Method and Description |
---|---|
Grph |
readGraph(java.io.InputStream is) |
findReader, parseNumber, readGraph, readGraph, readGraph
public Grph readGraph(java.io.InputStream is) throws ParseException, java.io.IOException
readGraph
in class AbstractGraphReader
ParseException
java.io.IOException