org.sat4j.maxsat.reader
Class WDimacsReader

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by org.sat4j.reader.DimacsReader
          extended by org.sat4j.maxsat.reader.WDimacsReader
All Implemented Interfaces:
Serializable

public class WDimacsReader
extends DimacsReader

Simple reader for the weighted maxsat problem.

Author:
daniel
See Also:
Serialized Form

Field Summary
protected  BigInteger top
           
protected  BigInteger weight
           
 
Fields inherited from class org.sat4j.reader.DimacsReader
expectedNbOfConstr, formatString, literals, scanner, solver
 
Constructor Summary
WDimacsReader(WeightedMaxSatDecorator solver)
           
WDimacsReader(WeightedMaxSatDecorator solver, String format)
           
 
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
 

Field Detail

weight

protected BigInteger weight

top

protected BigInteger top
Constructor Detail

WDimacsReader

public WDimacsReader(WeightedMaxSatDecorator solver)

WDimacsReader

public WDimacsReader(WeightedMaxSatDecorator solver,
                     String format)
Method Detail

flushConstraint

protected void flushConstraint()
                        throws ContradictionException
Overrides:
flushConstraint in class DimacsReader
Throws:
ContradictionException

handleLine

protected boolean handleLine()
                      throws ContradictionException,
                             IOException,
                             ParseFormatException
Overrides:
handleLine in class DimacsReader
Throws:
ContradictionException
IOException
ParseFormatException

readProblemLine

protected void readProblemLine()
                        throws IOException,
                               ParseFormatException
Overrides:
readProblemLine in class DimacsReader
Throws:
IOException - iff an IO occurs
ParseFormatException - if the input stream does not comply with the DIMACS format.


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