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

Fields

Modifier and Type	Field and Description
protected BigInteger	top
protected BigInteger	weight

Fields inherited from class org.sat4j.reader.DimacsReader

expectedNbOfConstr, formatString, literals, scanner, solver

Constructor Summary

Constructors

Constructor and Description
WDimacsReader(WeightedMaxSatDecorator solver)
WDimacsReader(WeightedMaxSatDecorator solver, String format)

Method Summary

Methods

Modifier and Type	Method and Description
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

ParseFormatException