org.sat4j.reader
Class OPBReader2006

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by org.sat4j.reader.OPBReader2005
          extended by 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


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.