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 org.sat4j.reader.DimacsReader

Simple reader for the weighted maxsat problem.

Author:

daniel

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.reader.DimacsReader

expectedNbOfConstr, formatString, solver

Constructor Summary

WDimacsReader(org.sat4j.pb.IPBSolver solver)

WDimacsReader(org.sat4j.pb.IPBSolver solver, java.lang.String format)

Method Summary

protected void

readProblemLine(java.io.LineNumberReader in)

Methods inherited from class org.sat4j.reader.DimacsReader

decode, decode, disableNumberOfConstraintCheck, getSolver, handleConstr, 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

WDimacsReader

public WDimacsReader(org.sat4j.pb.IPBSolver solver)

WDimacsReader

public WDimacsReader(org.sat4j.pb.IPBSolver solver,
                     java.lang.String format)

Method Detail

readProblemLine

protected void readProblemLine(java.io.LineNumberReader in)
                        throws java.io.IOException,
                               org.sat4j.reader.ParseFormatException

Overrides:

readProblemLine in class org.sat4j.reader.DimacsReader

Throws:

java.io.IOException

org.sat4j.reader.ParseFormatException