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:

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.pb.reader.OPBReader2005

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

Constructor Summary

Constructors

Constructor and Description
OPBReader2006(IPBSolver solver)

Method Summary

Modifier and Type	Method and Description
protected void	readTerm(java.lang.StringBuffer coeff, java.lang.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, 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(java.lang.StringBuffer coeff,
                        java.lang.StringBuffer var)
                 throws java.io.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:

java.io.IOException

ParseException

ParseFormatException