org.sat4j.reader

Class GroupedCNFReader

java.lang.Object

org.sat4j.reader.Reader

org.sat4j.reader.DimacsReader

org.sat4j.reader.GroupedCNFReader

All Implemented Interfaces:

java.io.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

Constructors

Constructor and Description
GroupedCNFReader(IGroupSolver solver)

Method Summary

Modifier and Type	Method and Description
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(IGroupSolver solver)

Method Detail

readProblemLine

protected void readProblemLine()
                        throws java.io.IOException,
                               ParseFormatException

Overrides:

readProblemLine in class DimacsReader

Parameters:

in - the input stream

Throws:

java.io.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,
                             java.io.IOException,
                             ParseFormatException

Overrides:

handleLine in class DimacsReader

Throws:

ContradictionException

java.io.IOException

ParseFormatException

Since:

2.1

flushConstraint

protected void flushConstraint()
                        throws ContradictionException

Overrides:

flushConstraint in class DimacsReader

Throws:

ContradictionException

Since:

2.1