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

Constructors

Constructor and Description
OPBEclipseReader2007(IPBSolver solver)

Method Summary

Methods

Modifier and Type	Method and Description
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, 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