org.sat4j.reader
Class GroupedCNFReader

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.DimacsReader
          org.sat4j.reader.GroupedCNFReader

All Implemented Interfaces:

Serializable

public class GroupedCNFReader
extends DimacsReader

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.reader.DimacsReader

expectedNbOfConstr, formatString, literals, scanner, solver

Constructor Summary

GroupedCNFReader(HighLevelXplain<ISolver> solver)

Method Summary

protected void	flushConstraint()
protected boolean	handleLine()
protected void	readProblemLine()

Methods inherited from class org.sat4j.reader.DimacsReader

decode, decode, disableNumberOfConstraintCheck, getSolver, parseInstance, readConstrs, skipComments

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

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

Constructor Detail

GroupedCNFReader

public GroupedCNFReader(HighLevelXplain<ISolver> solver)

Method Detail

readProblemLine

protected void readProblemLine()
                        throws IOException,
                               ParseFormatException

Overrides:

readProblemLine in class DimacsReader

Parameters:

in - the input stream

Throws:

IOException - iff an IO occurs

ParseFormatException - if the input stream does not comply with the DIMACS format.

Since:

2.1

handleLine

protected boolean handleLine()
                      throws ContradictionException,
                             IOException,
                             ParseFormatException

Overrides:

handleLine in class DimacsReader

Throws:

ContradictionException

IOException

ParseFormatException

Since:

2.1

flushConstraint

protected void flushConstraint()
                        throws ContradictionException

Overrides:

flushConstraint in class DimacsReader

Throws:

ContradictionException

Since:

2.1