org.sat4j.pb.reader
Class OPBEclipseReader2007

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

All Implemented Interfaces:

java.io.Serializable

public class OPBEclipseReader2007
extends OPBReader2007

Author:

anne

See Also:

Serialized Form

Constructor Summary

OPBEclipseReader2007(IPBSolver solver)

Method Summary

org.sat4j.specs.IVecInt

getListOfVariables()

Methods inherited from class org.sat4j.pb.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

OPBEclipseReader2007

public OPBEclipseReader2007(IPBSolver solver)

Parameters:

solver -

Method Detail

getListOfVariables

public org.sat4j.specs.IVecInt getListOfVariables()

Overrides:

getListOfVariables in class OPBReader2005