org.sat4j.pb.reader
Class OPBReader2006

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

OPBReader2007

public class OPBReader2006
extends OPBReader2005

Reader complying to the PB06 input format.

Author:

leberre

See Also:

Serialized Form

Field Summary

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

coeffs, d, hasObjFunc, hasVariablesExplanation, lits, nbConstr, nbConstraintsRead, nbVars, operator, solver

Constructor Summary

OPBReader2006(IPBSolver solver)

Method Summary

protected void

readTerm(StringBuffer coeff, StringBuffer var) read a term into coeff and var

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

beginConstraint, beginObjective, checkId, constraintRelOp, constraintRightTerm, decode, decode, endConstraint, endObjective, eof, eol, get, getCoeffs, getListOfVariables, getObjectiveFunction, getVars, isGoodFirstCharacter, isGoodFollowingCharacter, metaData, parse, parseInstance, parseInstance, putback, readConstraint, readIdentifier, readInteger, readMetaData, readObjective, readVariablesExplanation, readWord, skipSpaces, translateVarToId

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OPBReader2006

public OPBReader2006(IPBSolver solver)

Method Detail

readTerm

protected void readTerm(StringBuffer coeff,
                        StringBuffer var)
                 throws IOException,
                        ParseFormatException

read a term into coeff and var

Overrides:

readTerm in class OPBReader2005

Parameters:

coeff - the coefficient of the variable

var - the indentifier we read

Throws:

IOException

ParseException

ParseFormatException