org.sat4j.pb.reader
Class OPBEclipseReader2007

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.pb.reader.OPBReader2005
          org.sat4j.pb.reader.OPBReader2006
              org.sat4j.pb.reader.OPBReader2007
                  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