Logo Search packages:      
Sourcecode: sat4j version File versions

org::sat4j::pb::reader::OPBReader2007 Class Reference

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

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

List of all members.


Detailed Description

Reader complying with the PB07 input format.

Non-linear to linear translation adapted from the PB07 readers provided by Olivier Roussel and Vasco Manquinho (was available in C++, not in Java)

http://www.cril.univ-artois.fr/PB07/parser/SimpleParser.java http://www.cril.univ-artois.fr/PB07/parser/SimpleParser.cc

Author:
parrain

daniel

Definition at line 82 of file OPBReader2007.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 ()
 OPBReader2007 (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 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 Member Functions

String getProductVariable (IVec< String > lits)
String linearizeProduct (IVec< String > tmpLit) throws ContradictionException

Private Attributes

int nbNewSymbols
int nbProducts
Map< String, IVec< String > > productStore = new HashMap<String, IVec<String>>()

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