Package | Description |
---|---|
org.sat4j | |
org.sat4j.pb | |
org.sat4j.pb.reader | |
org.sat4j.reader |
Modifier and Type | Method and Description |
---|---|
protected IProblem |
AbstractLauncher.readProblem(java.lang.String problemname)
Reads a problem file from the command line.
|
Modifier and Type | Method and Description |
---|---|
protected IProblem |
LanceurPseudo2005.readProblem(java.lang.String problemname) |
Modifier and Type | Method and Description |
---|---|
protected void |
OPBReader2005.checkId(java.lang.StringBuffer s) |
protected void |
OPBReader2007.checkId(java.lang.StringBuffer s) |
protected void |
JSONPBReader.handleNotHandled(java.lang.String constraint) |
protected void |
OPBReader2007.literalInAProduct(java.lang.String var,
IVecInt lits)
callback called when we read a term of a constraint
|
void |
OPBReader2005.parse()
parses the file and uses the callbacks to send to send the data back to
the program
|
IProblem |
OPBReader2005.parseInstance(java.io.InputStream in) |
protected IProblem |
OPBReader2005.parseInstance(java.io.LineNumberReader input) |
IProblem |
OPBReader2005.parseInstance(java.io.Reader input) |
IProblem |
OPBReader2010.parseInstance(java.io.Reader input) |
IProblem |
OPBReader2012.parseInstance(java.io.Reader input) |
protected void |
OPBReader2005.readConstraint()
read a constraint calls beginConstraint, constraintTerm and endConstraint
|
protected boolean |
OPBReader2005.readIdentifier(java.lang.StringBuffer s)
read an identifier from stream and store it in s
|
protected void |
OPBReader2005.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 |
OPBReader2007.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 |
OPBReader2010.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 |
OPBReader2012.readMetaData() |
protected void |
OPBReader2005.readObjective()
read the objective line (if any) calls beginObjective, objectiveTerm and
endObjective
|
protected void |
OPBReader2010.readObjective() |
protected void |
OPBReader2012.readObjective() |
protected void |
OPBReader2005.readTerm(java.lang.StringBuffer coeff,
java.lang.StringBuffer var)
read a term into coeff and var
|
protected void |
OPBReader2006.readTerm(java.lang.StringBuffer coeff,
java.lang.StringBuffer var)
read a term into coeff and var
|
protected void |
OPBReader2007.readTerm(java.lang.StringBuffer coeff,
java.lang.StringBuffer var) |
protected void |
OPBEclipseReader2007.readVariablesExplanation()
read the list for variables explanation (if any) calls
beginListOfVariables and endListOfVariables
|
protected void |
OPBReader2005.readVariablesExplanation() |
protected int |
OPBReader2005.translateVarToId(java.lang.String var) |
protected int |
OPBReader2007.translateVarToId(java.lang.String var) |
Modifier and Type | Method and Description |
---|---|
protected IVecInt |
JSONReader.getLiterals(java.lang.String constraint) |
protected void |
JSONReader.handleCard(java.lang.String constraint) |
protected boolean |
DimacsReader.handleLine() |
protected boolean |
GroupedCNFReader.handleLine() |
protected void |
JSONReader.handleNotHandled(java.lang.String constraint) |
java.lang.String |
EfficientScanner.next() |
java.math.BigInteger |
EfficientScanner.nextBigInteger() |
int |
EfficientScanner.nextInt()
To get the next available integer.
|
IProblem |
AAGReader.parseInstance(java.io.InputStream in) |
IProblem |
AIGReader.parseInstance(java.io.InputStream in) |
IProblem |
DimacsReader.parseInstance(java.io.InputStream in) |
IProblem |
InstanceReader.parseInstance(java.io.InputStream in) |
IProblem |
JSONReader.parseInstance(java.io.InputStream in) |
IProblem |
LecteurDimacs.parseInstance(java.io.InputStream input) |
abstract IProblem |
Reader.parseInstance(java.io.InputStream in)
Read a file from a stream.
|
IProblem |
Reader.parseInstance(java.io.Reader in)
Deprecated.
|
IProblem |
InstanceReader.parseInstance(java.lang.String filename) |
IProblem |
Reader.parseInstance(java.lang.String filename)
This is the usual method to feed a solver with a benchmark.
|
ISolver |
JSONReader.parseString(java.lang.String json) |
protected void |
DimacsReader.readConstrs() |
protected void |
DimacsReader.readProblemLine() |
protected void |
GroupedCNFReader.readProblemLine() |