Logo Search packages:      
Sourcecode: sat4j version File versions

org::sat4j::pb::reader::OPBEclipseReader2007 Class Reference

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

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

List of all members.

Detailed Description


Definition at line 42 of file OPBEclipseReader2007.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 ()
 OPBEclipseReader2007 (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 beginListOfVariables ()
void beginObjective ()
void checkId (StringBuffer s) throws ParseFormatException
void constraintRelOp (String relop)
void constraintRightTerm (BigInteger val)
void endConstraint () throws ContradictionException
void endListOfVariables ()
void endObjective ()
boolean eof ()
boolean eol ()
char get () throws IOException
boolean isGoodFirstCharacter (char c)
boolean isGoodFollowingCharacter (char c)
void literalInAProduct (String var, IVecInt lits)
void metaData (int nbvar, int nbconstr)
void negateLiteralInAProduct (String var, IVecInt lits)
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

Private Attributes

IVecInt varExplain = new VecInt()

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