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

Simple reader for the weighted maxsat problem.

Author:

daniel

See Also:

Serialized Form

Constructor Summary

P2DimacsReader(MinCostDecorator solver)

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

P2DimacsReader

public P2DimacsReader(MinCostDecorator solver)