org.sat4j.pb.reader

Class OPBReader2012

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.OPBReader2010

org.sat4j.pb.reader.OPBReader2012

All Implemented Interfaces:

Serializable

public class OPBReader2012
extends OPBReader2010

OPBReader allowing to read several objective functions in an OPB file.

Since:

2.3.3

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.pb.reader.OPBReader2010

SAT4J_MAX_BIG_INTEGER

Fields inherited from class org.sat4j.pb.reader.OPBReader2007

nbNewSymbols

Fields inherited from class org.sat4j.pb.reader.OPBReader2005

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

Constructor Summary

Constructors

Constructor and Description
OPBReader2012(PBSolverHandle solver)

Method Summary

Modifier and Type	Method and Description
ObjectiveFunction	getObjectiveFunction()
IProblem	parseInstance(Reader input)
protected void	readMetaData() read the first comment line to get the number of variables and the number of constraints in the file calls metaData with the data that was read
protected void	readObjective() read the objective line (if any) calls beginObjective, objectiveTerm and endObjective

Methods inherited from class org.sat4j.pb.reader.OPBReader2010

beginConstraint, endConstraint

Methods inherited from class org.sat4j.pb.reader.OPBReader2007

checkId, decode, decode, isGoodFirstCharacter, literalInAProduct, negateLiteralInAProduct, readTerm, translateVarToId

Methods inherited from class org.sat4j.pb.reader.OPBReader2005

beginObjective, constraintRelOp, constraintRightTerm, endObjective, eof, eol, get, getCoeffs, getListOfVariables, getMapping, getVars, hasAMapping, isGoodFollowingCharacter, metaData, parse, parseInstance, parseInstance, putback, readConstraint, readIdentifier, readInteger, readVariablesExplanation, readWord, skipSpaces, startsMapping

Methods inherited from class org.sat4j.reader.Reader

getInputStreamFromFilename, isUsingMapping, isVerbose, parseInstance, setUseMapping, setVerbosity

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OPBReader2012

public OPBReader2012(PBSolverHandle solver)

Method Detail

readMetaData

protected void readMetaData()
                     throws IOException,
                            ParseFormatException

Description copied from class: OPBReader2010

read the first comment line to get the number of variables and the number of constraints in the file calls metaData with the data that was read

Overrides:

readMetaData in class OPBReader2010

Throws:

IOException

ParseFormatException

readObjective

protected void readObjective()
                      throws IOException,
                             ParseFormatException

Description copied from class: OPBReader2005

read the objective line (if any) calls beginObjective, objectiveTerm and endObjective

Overrides:

readObjective in class OPBReader2010

Throws:

IOException

ParseFormatException

getObjectiveFunction

public ObjectiveFunction getObjectiveFunction()

Overrides:

getObjectiveFunction in class OPBReader2005

parseInstance

public IProblem parseInstance(Reader input)
                       throws ParseFormatException,
                              ContradictionException

Overrides:

parseInstance in class OPBReader2010

Throws:

ParseFormatException

ContradictionException