org.sat4j.reader
Class OPBReader2006

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.OPBReader2005
          org.sat4j.reader.OPBReader2006

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

OPBReader2007

public class OPBReader2006
extends OPBReader2005

Reader complying to the PB06 input format.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

OPBReader2006(ISolver solver)

Method Summary

Methods inherited from class org.sat4j.reader.OPBReader2005

decode, decode, getCoeffs, getObjectiveFunction, getVars, parse, parseInstance, readInteger, readWord

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

OPBReader2006

public OPBReader2006(ISolver solver)