org.sat4j.maxsat.reader
Class WDimacsReader

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.DimacsReader
          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, parseInstance, readConstrs, skipComments

Methods inherited from class org.sat4j.reader.Reader

isVerbose, 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

ParseFormatException