org.sat4j.maxsat.reader
Class P2DimacsReader

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.DimacsReader
          org.sat4j.maxsat.reader.P2DimacsReader

All Implemented Interfaces:

java.io.Serializable

public class P2DimacsReader
extends 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

P2DimacsReader(MinCostDecorator solver)

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

P2DimacsReader

public P2DimacsReader(MinCostDecorator solver)

Method Detail

readProblemLine

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

Overrides:

readProblemLine in class DimacsReader

Throws:

java.io.IOException

ParseFormatException