Logo Search packages:      
Sourcecode: sat4j version File versions

org::sat4j::pb::reader::OPBReader2006 Class Reference

Inheritance diagram for org::sat4j::pb::reader::OPBReader2006:

org::sat4j::pb::reader::OPBReader2005 org::sat4j::reader::Reader org::sat4j::pb::reader::OPBReader2007 org::sat4j::pb::reader::OPBEclipseReader2007

List of all members.

Detailed Description

Reader complying to the PB06 input format.


Definition at line 42 of file OPBReader2006.java.

Public Member Functions

void decode (int[] model, PrintWriter out)
String decode (int[] model)
IVec< BigInteger > getCoeffs ()
IVecInt getListOfVariables ()
ObjectiveFunction getObjectiveFunction ()
IVecInt getVars ()
boolean isVerbose ()
 OPBReader2006 (IPBSolver solver)
void parse () throws IOException, ParseFormatException, ContradictionException
IProblem parseInstance (final InputStream in) throws ParseFormatException, ContradictionException, IOException
IProblem parseInstance (final String filename) throws FileNotFoundException, ParseFormatException, IOException, ContradictionException
final IProblem parseInstance (final java.io.Reader in) throws ParseFormatException, ContradictionException
void readInteger (StringBuffer s) throws IOException
String readWord () throws IOException
void setVerbosity (boolean b)

Protected Member Functions

void beginConstraint ()
void beginObjective ()
void checkId (StringBuffer s) throws ParseFormatException
void constraintRelOp (String relop)
void constraintRightTerm (BigInteger val)
void endConstraint () throws ContradictionException
void endObjective ()
boolean eof ()
boolean eol ()
char get () throws IOException
boolean isGoodFirstCharacter (char c)
boolean isGoodFollowingCharacter (char c)
void metaData (int nbvar, int nbconstr)
void putback (char c)
boolean readIdentifier (StringBuffer s) throws IOException, ParseFormatException
void readMetaData () throws IOException, ParseFormatException
void readTerm (StringBuffer coeff, StringBuffer var) throws IOException, ParseFormatException, ContradictionException
void readVariablesExplanation () throws IOException, ParseFormatException
void skipSpaces () throws IOException
int translateVarToId (String var)

Protected Attributes

boolean hasVariablesExplanation = false
int nbConstr
int nbConstraintsRead
int nbVars
final IPBSolver solver

Package Attributes

boolean charAvailable = false
boolean eofReached = false
transient BufferedReader in
char savedChar

Static Private Attributes

static final long serialVersionUID = 1L

The documentation for this class was generated from the following file:

Generated by  Doxygen 1.6.0   Back to index