public class OPBReader2012 extends OPBReader2010
SAT4J_MAX_BIG_INTEGER
nbNewSymbols
coeffs, d, hasObjFunc, hasVariablesExplanation, lits, nbConstr, nbConstraintsRead, nbVars, operator, solver
Constructor and Description |
---|
OPBReader2012(IPBSolver solver) |
Modifier and Type | Method and Description |
---|---|
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
|
beginConstraint, endConstraint
checkId, decode, decode, isGoodFirstCharacter, literalInAProduct, negateLiteralInAProduct, readTerm, translateVarToId
beginObjective, constraintRelOp, constraintRightTerm, endObjective, eof, eol, get, getCoeffs, getListOfVariables, getObjectiveFunction, getVars, isGoodFollowingCharacter, metaData, parse, parseInstance, parseInstance, putback, readConstraint, readIdentifier, readInteger, readVariablesExplanation, readWord, skipSpaces
isVerbose, parseInstance, setVerbosity
public OPBReader2012(IPBSolver solver)
protected void readMetaData() throws IOException, ParseFormatException
OPBReader2010
readMetaData
in class OPBReader2010
IOException
ParseFormatException
protected void readObjective() throws IOException, ParseFormatException
OPBReader2005
readObjective
in class OPBReader2010
IOException
ParseFormatException
public IProblem parseInstance(Reader input) throws ParseFormatException, ContradictionException
parseInstance
in class OPBReader2010
ParseFormatException
ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.