org.sat4j.reader
Class OPBReader2007

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

All Implemented Interfaces:

java.io.Serializable

public class OPBReader2007
extends OPBReader2006

Author:

parrain

See Also:

Serialized Form

Constructor Summary

OPBReader2007(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

OPBReader2007

public OPBReader2007(ISolver solver)

Parameters:

solver -