org.sat4j.pb.reader
Class OPBEclipseReader2007

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by org.sat4j.pb.reader.OPBReader2005
          extended by org.sat4j.pb.reader.OPBReader2006
              extended by org.sat4j.pb.reader.OPBReader2007
                  extended by org.sat4j.pb.reader.OPBEclipseReader2007
All Implemented Interfaces:
Serializable

public class OPBEclipseReader2007
extends OPBReader2007

Author:
anne
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.pb.reader.OPBReader2007
nbNewSymbols
 
Fields inherited from class org.sat4j.pb.reader.OPBReader2005
coeffs, d, hasObjFunc, hasVariablesExplanation, lits, nbConstr, nbConstraintsRead, nbVars, operator, solver
 
Constructor Summary
OPBEclipseReader2007(IPBSolver solver)
           
 
Method Summary
protected  void beginListOfVariables()
          callback called before we read the list for variables explanation
protected  void endListOfVariables()
          callback called after we've read the list for variable explanation
 IVecInt getListOfVariables()
           
protected  void readVariablesExplanation()
          read the list for variables explanation (if any) calls beginListOfVariables and endListOfVariables
 
Methods inherited from class org.sat4j.pb.reader.OPBReader2007
checkId, decode, decode, isGoodFirstCharacter, literalInAProduct, negateLiteralInAProduct, readMetaData, readTerm, translateVarToId
 
Methods inherited from class org.sat4j.pb.reader.OPBReader2005
beginConstraint, beginObjective, constraintRelOp, constraintRightTerm, endConstraint, endObjective, eof, eol, get, getCoeffs, getObjectiveFunction, getVars, isGoodFollowingCharacter, metaData, parse, parseInstance, parseInstance, putback, readConstraint, readIdentifier, readInteger, readObjective, readWord, skipSpaces
 
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

OPBEclipseReader2007

public OPBEclipseReader2007(IPBSolver solver)
Parameters:
solver -
Method Detail

beginListOfVariables

protected void beginListOfVariables()
callback called before we read the list for variables explanation


endListOfVariables

protected void endListOfVariables()
callback called after we've read the list for variable explanation


readVariablesExplanation

protected void readVariablesExplanation()
                                 throws IOException,
                                        ParseFormatException
read the list for variables explanation (if any) calls beginListOfVariables and endListOfVariables

Overrides:
readVariablesExplanation in class OPBReader2005
Throws:
IOException
ParseException
ParseFormatException

getListOfVariables

public IVecInt getListOfVariables()
Overrides:
getListOfVariables in class OPBReader2005


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