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

Field Summary

Fields inherited from class org.sat4j.reader.OPBReader2005

nbConstr, nbConstraintsRead, nbVars, solver

Constructor Summary

OPBReader2006(ISolver solver)

Method Summary

protected void

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

Methods inherited from class org.sat4j.reader.OPBReader2005

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

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, 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(ISolver solver)

Method Detail

readTerm

protected void readTerm(java.lang.StringBuffer coeff,
                        java.lang.StringBuffer var)
                 throws java.io.IOException,
                        ParseFormatException,
                        ContradictionException

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:

java.io.IOException

ParseException

ParseFormatException

ContradictionException