org.sat4j.pb.reader
Class OPBReader2007

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

OPBEclipseReader2007

public class OPBReader2007
extends OPBReader2006

Reader complying with the PB07 input format. Non-linear to linear translation adapted from the PB07 readers provided by Olivier Roussel and Vasco Manquinho (was available in C++, not in Java) http://www.cril.univ-artois.fr/PB07/parser/SimpleParser.java http://www.cril.univ-artois.fr/PB07/parser/SimpleParser.cc

Author:

parrain, daniel

See Also:

Serialized Form

Constructor Summary

OPBReader2007(IPBSolver solver)

Method Summary

Methods inherited from class org.sat4j.pb.reader.OPBReader2005

decode, decode, getCoeffs, getListOfVariables, 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(IPBSolver solver)

Parameters:

solver -