org.sat4j.reader
Class OPBReader2005

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.OPBReader2005

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

OPBReader2006

public class OPBReader2005
extends Reader
implements java.io.Serializable

"Official" reader for the Pseudo Boolean evaluation 2005.

Author:

leberre, or, mederic baron

See Also:

Serialized Form

Field Summary

protected int	nbConstr
protected int	nbConstraintsRead
protected int	nbVars
protected ISolver	solver

Constructor Summary

OPBReader2005(ISolver solver)

Method Summary

protected void	beginConstraint() callback called before we read a constraint
protected void	beginObjective() callback called before we read the objective function
protected void	checkId(java.lang.StringBuffer s)
protected void	constraintRelOp(java.lang.String relop) callback called when we read the relational operator of a constraint
protected void	constraintRightTerm(java.math.BigInteger val) callback called when we read the right term of a constraint (also known as the degree)
java.lang.String	decode(int[] model) Produce a model using the reader format.
void	decode(int[] model, java.io.PrintWriter out) Produce a model using the reader format on a provided printwriter.
protected void	endConstraint()
protected void	endObjective() callback called after we've read the objective function
protected boolean	eof() return true iff we've reached EOF
protected char	get() get the next character from the stream
IVec<java.math.BigInteger>	getCoeffs()
ObjectiveFunction	getObjectiveFunction()
IVecInt	getVars()
protected boolean	isGoodFirstCharacter(char c)
protected boolean	isGoodFollowingCharacter(char c)
protected void	metaData(int nbvar, int nbconstr) callback called when we get the number of variables and the expected number of constraints
void	parse() parses the file and uses the callbacks to send to send the data back to the program
IProblem	parseInstance(java.io.Reader in)
protected boolean	readIdentifier(java.lang.StringBuffer s) read an identifier from stream and store it in s
void	readInteger(java.lang.StringBuffer s) read a integer from file
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	readTerm(java.lang.StringBuffer coeff, java.lang.StringBuffer var) read a term into coeff and var
java.lang.String	readWord() read a word from file
protected void	skipSpaces() skip white spaces
protected int	translateVarToId(java.lang.String var)

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

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

Field Detail

solver

protected final ISolver solver

nbVars

protected int nbVars

nbConstr

protected int nbConstr

nbConstraintsRead

protected int nbConstraintsRead

Constructor Detail

OPBReader2005

public OPBReader2005(ISolver solver)

Method Detail

metaData

protected void metaData(int nbvar,
                        int nbconstr)

callback called when we get the number of variables and the expected number of constraints

Parameters:

nbvar - the number of variables

nbconstr - the number of contraints

beginObjective

protected void beginObjective()

callback called before we read the objective function

endObjective

protected void endObjective()

callback called after we've read the objective function

beginConstraint

protected void beginConstraint()

callback called before we read a constraint

endConstraint

protected void endConstraint()
                      throws ContradictionException

Throws:

ContradictionException

translateVarToId

protected int translateVarToId(java.lang.String var)

constraintRelOp

protected void constraintRelOp(java.lang.String relop)

callback called when we read the relational operator of a constraint

Parameters:

relop - the relational oerator (>= or =)

constraintRightTerm

protected void constraintRightTerm(java.math.BigInteger val)

callback called when we read the right term of a constraint (also known as the degree)

Parameters:

val - the degree of the constraint

get

protected char get()
            throws java.io.IOException

get the next character from the stream

Throws:

java.io.IOException

getVars

public IVecInt getVars()

getCoeffs

public IVec<java.math.BigInteger> getCoeffs()

eof

protected boolean eof()

return true iff we've reached EOF

skipSpaces

protected void skipSpaces()
                   throws java.io.IOException

skip white spaces

Throws:

java.io.IOException

readWord

public java.lang.String readWord()
                          throws java.io.IOException

read a word from file

Returns:

the word we read

Throws:

java.io.IOException

readInteger

public void readInteger(java.lang.StringBuffer s)
                 throws java.io.IOException

read a integer from file

Parameters:

s - a StringBuffer to store the integer that was read

Throws:

java.io.IOException

readIdentifier

protected boolean readIdentifier(java.lang.StringBuffer s)
                          throws java.io.IOException,
                                 ParseFormatException

read an identifier from stream and store it in s

Returns:

the identifier we read or null

Throws:

java.io.IOException

ParseFormatException

isGoodFirstCharacter

protected boolean isGoodFirstCharacter(char c)

isGoodFollowingCharacter

protected boolean isGoodFollowingCharacter(char c)

checkId

protected void checkId(java.lang.StringBuffer s)
                throws ParseFormatException

Throws:

ParseFormatException

readMetaData

protected void readMetaData()
                     throws java.io.IOException,
                            ParseFormatException

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

Throws:

java.io.IOException

ParseException

ParseFormatException

readTerm

protected void readTerm(java.lang.StringBuffer coeff,
                        java.lang.StringBuffer var)
                 throws java.io.IOException,
                        ParseFormatException,
                        ContradictionException

read a term into coeff and var

Parameters:

coeff - the coefficient of the variable

var - the identifier we read

Throws:

java.io.IOException

ParseException

ParseFormatException

ContradictionException

parse

public void parse()
           throws java.io.IOException,
                  ParseFormatException,
                  ContradictionException

parses the file and uses the callbacks to send to send the data back to the program

Throws:

java.io.IOException

ParseException

ContradictionException

ParseFormatException

parseInstance

public final IProblem parseInstance(java.io.Reader in)
                             throws ParseFormatException,
                                    ContradictionException

Specified by:

parseInstance in class Reader

Throws:

ParseFormatException

ContradictionException

decode

public java.lang.String decode(int[] model)

Description copied from class: Reader

Produce a model using the reader format.

Specified by:

decode in class Reader

Parameters:

model - a model using the Dimacs format.

Returns:

a human readable view of the model.

decode

public void decode(int[] model,
                   java.io.PrintWriter out)

Description copied from class: Reader

Produce a model using the reader format on a provided printwriter.

Specified by:

decode in class Reader

Parameters:

model - a model using the Dimacs format.

out - the place where to display the model

getObjectiveFunction

public ObjectiveFunction getObjectiveFunction()