public class GrphBinaryReader extends AbstractGraphReader
extension_readerClass
Constructor and Description |
---|
GrphBinaryReader() |
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 java.io.IOException, ParseException
readGraph
in class AbstractGraphReader
java.io.IOException
ParseException