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

Constructor Summary

WDimacsReader(org.sat4j.pb.IPBSolver solver)

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

Method Summary

Methods inherited from class org.sat4j.reader.DimacsReader

decode, decode, disableNumberOfConstraintCheck, parseInstance

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

equals, 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)