public class GroupedCNFReader extends DimacsReader
expectedNbOfConstr, formatString, literals, scanner, solver
Constructor and Description |
---|
GroupedCNFReader(IGroupSolver solver) |
Modifier and Type | Method and Description |
---|---|
protected void |
flushConstraint() |
protected boolean |
handleLine() |
protected void |
readProblemLine() |
decode, decode, disableNumberOfConstraintCheck, getSolver, parseInstance, readConstrs, skipComments
isVerbose, parseInstance, parseInstance, setVerbosity
public GroupedCNFReader(IGroupSolver solver)
protected void readProblemLine() throws java.io.IOException, ParseFormatException
readProblemLine
in class DimacsReader
in
- the input streamjava.io.IOException
- iff an IO occursParseFormatException
- if the input stream does not comply with the DIMACS format.protected boolean handleLine() throws ContradictionException, java.io.IOException, ParseFormatException
handleLine
in class DimacsReader
ContradictionException
java.io.IOException
ParseFormatException
protected void flushConstraint() throws ContradictionException
flushConstraint
in class DimacsReader
ContradictionException