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, lits, nbConstr, nbConstraintsRead, nbVars, operator, solver

Constructor Summary

Constructors

Constructor and Description
OPBReader2012(IPBSolver solver)

Method Summary

Methods

Modifier and Type	Method and Description
IProblem	parseInstance(Reader input) Read a file from a reader.
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, getObjectiveFunction, getVars, isGoodFollowingCharacter, metaData, parse, parseInstance, parseInstance, putback, readConstraint, readIdentifier, readInteger, readVariablesExplanation, 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

OPBReader2012

public OPBReader2012(IPBSolver 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

parseInstance

public IProblem parseInstance(Reader input)
                       throws ParseFormatException,
                              ContradictionException

Description copied from class: Reader

Read a file from a reader. Do not use that method, it is no longer supported.

Overrides:

parseInstance in class OPBReader2010

Parameters:

input - a stream containing the benchmark.

Returns:

the problem to solve (an ISolver in fact).

Throws:

ParseFormatException - if an error occurs during parsing.

ContradictionException - if the problem is found trivially inconsistent.

See Also:

Reader.parseInstance(InputStream)