Package | Description |
---|---|
org.sat4j |
Contains a command line launcher for the SAT solvers.
|
org.sat4j.maxsat |
MAXSAT and Weighted Max SAT framework.
|
org.sat4j.maxsat.reader |
Some utility classes to read problems from plain text files.
|
org.sat4j.pb |
Implementations of pseudo boolean solvers
|
org.sat4j.pb.reader |
Readers for opb instances.
|
org.sat4j.reader |
Some utility classes to read problems from plain text files.
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Method and Description |
---|---|
protected IProblem |
AbstractLauncher.readProblem(String problemname)
Reads a problem file from the command line.
|
Modifier and Type | Method and Description |
---|---|
protected IProblem |
GenericOptLauncher.readProblem(String problemname) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
WDimacsReader.handleLine() |
protected void |
WDimacsReader.readProblemLine() |
Modifier and Type | Method and Description |
---|---|
protected IProblem |
LanceurPseudo2005.readProblem(String problemname) |
Modifier and Type | Method and Description |
---|---|
protected void |
OPBReader2005.checkId(StringBuffer s) |
protected void |
OPBReader2007.checkId(StringBuffer s) |
protected void |
JSONPBReader.handleNotHandled(String constraint) |
protected void |
OPBReader2007.literalInAProduct(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(InputStream in) |
protected IProblem |
OPBReader2005.parseInstance(LineNumberReader input) |
IProblem |
OPBReader2012.parseInstance(Reader input) |
IProblem |
OPBReader2005.parseInstance(Reader input) |
IProblem |
OPBReader2010.parseInstance(Reader input) |
protected void |
OPBReader2005.readConstraint()
read a constraint calls beginConstraint, constraintTerm and endConstraint
|
protected boolean |
OPBReader2005.readIdentifier(StringBuffer s)
read an identifier from stream and store it in s
|
protected void |
OPBReader2012.readMetaData() |
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 |
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 |
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 |
OPBReader2012.readObjective() |
protected void |
OPBReader2005.readObjective()
read the objective line (if any) calls beginObjective, objectiveTerm and
endObjective
|
protected void |
OPBReader2010.readObjective() |
protected void |
OPBReader2005.readTerm(StringBuffer coeff,
StringBuffer var)
read a term into coeff and var
|
protected void |
OPBReader2006.readTerm(StringBuffer coeff,
StringBuffer var)
read a term into coeff and var
|
protected void |
OPBReader2007.readTerm(StringBuffer coeff,
StringBuffer var) |
protected void |
OPBReader2005.readVariablesExplanation() |
protected void |
OPBEclipseReader2007.readVariablesExplanation()
read the list for variables explanation (if any) calls
beginListOfVariables and endListOfVariables
|
protected int |
OPBReader2005.translateVarToId(String var) |
protected int |
OPBReader2007.translateVarToId(String var) |
Modifier and Type | Method and Description |
---|---|
protected IVecInt |
JSONReader.getLiterals(String constraint) |
protected void |
JSONReader.handleCard(String constraint) |
protected boolean |
DimacsReader.handleLine() |
protected boolean |
GroupedCNFReader.handleLine() |
protected void |
JSONReader.handleNotHandled(String constraint) |
String |
EfficientScanner.next() |
BigInteger |
EfficientScanner.nextBigInteger() |
int |
EfficientScanner.nextInt()
To get the next available integer.
|
IProblem |
CSPReader.parseInstance(InputStream in) |
IProblem |
XMLCSPReader.parseInstance(InputStream in) |
IProblem |
InstanceReader.parseInstance(InputStream in) |
IProblem |
AAGReader.parseInstance(InputStream in) |
IProblem |
JSONReader.parseInstance(InputStream in) |
IProblem |
LecteurDimacs.parseInstance(InputStream input) |
abstract IProblem |
Reader.parseInstance(InputStream in)
Read a file from a stream.
|
IProblem |
AIGReader.parseInstance(InputStream in) |
IProblem |
DimacsReader.parseInstance(InputStream in) |
IProblem |
CSPReader.parseInstance(Reader in) |
IProblem |
CSPInstanceReader.parseInstance(Reader in) |
IProblem |
XMLCSPReader.parseInstance(Reader in) |
IProblem |
Reader.parseInstance(Reader in)
Deprecated.
|
IProblem |
CSPInstanceReader.parseInstance(String filename) |
IProblem |
XMLCSPReader.parseInstance(String filename) |
IProblem |
InstanceReader.parseInstance(String filename) |
IProblem |
Reader.parseInstance(String filename)
This is the usual method to feed a solver with a benchmark.
|
ISolver |
JSONReader.parseString(String json) |
protected void |
DimacsReader.readConstrs() |
protected void |
DimacsReader.readProblemLine() |
protected void |
GroupedCNFReader.readProblemLine() |
Modifier and Type | Method and Description |
---|---|
protected IProblem |
Lanceur.readProblem(String problemname)
Deprecated.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.