org.sat4j.reader
Class GroupedCNFReader

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by org.sat4j.reader.DimacsReader
          extended by 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


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.