grph.io

Class DimacsReader

java.lang.Object

grph.io.AbstractGraphReader

grph.io.DimacsReader

public class DimacsReader
extends AbstractGraphReader

Field Summary

Fields inherited from class grph.io.AbstractGraphReader

extension_readerClass

Constructor Summary

Constructors

Constructor and Description
DimacsReader()

Method Summary

Modifier and Type	Method and Description
Grph	readGraph(java.io.InputStream is)

Methods inherited from class grph.io.AbstractGraphReader

findReader, parseNumber, readGraph, readGraph, readGraph

Methods inherited from class java.lang.Object

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

Constructor Detail

DimacsReader

public DimacsReader()

Method Detail

readGraph

public Grph readGraph(java.io.InputStream is)
               throws ParseException,
                      java.io.IOException

Specified by:

readGraph in class AbstractGraphReader

Throws:

ParseException

java.io.IOException