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:

java.io.Serializable

public class WDimacsReader
extends DimacsReader

Simple reader for the weighted maxsat problem.

Author:

daniel

See Also:

Serialized Form

Field Summary

protected java.math.BigInteger	top
protected java.math.BigInteger	weight

Fields inherited from class org.sat4j.reader.DimacsReader

expectedNbOfConstr, formatString, literals, scanner, solver

Constructor Summary

WDimacsReader(WeightedMaxSatDecorator solver)

WDimacsReader(WeightedMaxSatDecorator solver, java.lang.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 java.math.BigInteger weight

top

protected java.math.BigInteger top

Constructor Detail

WDimacsReader

public WDimacsReader(WeightedMaxSatDecorator solver)

WDimacsReader

public WDimacsReader(WeightedMaxSatDecorator solver,
                     java.lang.String format)

Method Detail

flushConstraint

protected void flushConstraint()
                        throws ContradictionException

Overrides:

flushConstraint in class DimacsReader

Throws:

ContradictionException

handleLine

protected boolean handleLine()
                      throws ContradictionException,
                             java.io.IOException,
                             ParseFormatException

Overrides:

handleLine in class DimacsReader

Throws:

ContradictionException

java.io.IOException

ParseFormatException

readProblemLine

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

Overrides:

readProblemLine in class DimacsReader

Throws:

java.io.IOException

ParseFormatException