Package | Description |
---|---|
org.sat4j | |
org.sat4j.pb | |
org.sat4j.pb.reader | |
org.sat4j.reader |
Modifier and Type | Field and Description |
---|---|
protected Reader |
AbstractLauncher.reader |
Modifier and Type | Method and Description |
---|---|
protected abstract Reader |
AbstractLauncher.createReader(ISolver theSolver,
java.lang.String problemname) |
protected Reader |
BasicLauncher.createReader(ISolver theSolver,
java.lang.String problemname) |
protected Reader |
MUSLauncher.createReader(ISolver theSolver,
java.lang.String problemname) |
Reader |
AbstractLauncher.getReader() |
Modifier and Type | Method and Description |
---|---|
void |
ILauncherMode.displayResult(ISolver solver,
IProblem problem,
ILogAble logger,
java.io.PrintWriter out,
Reader reader,
long beginTime,
boolean displaySolutionLine)
Output of the launcher when the solver stops
|
void |
ILauncherMode.solve(IProblem problem,
Reader reader,
ILogAble logger,
java.io.PrintWriter out,
long beginTime)
Main solver call: one call for a decision problem, a loop for an
optimization problem.
|
Modifier and Type | Method and Description |
---|---|
protected Reader |
LanceurPseudo2005.createReader(ISolver theSolver,
java.lang.String problemname) |
protected Reader |
LanceurPseudo2007.createReader(ISolver theSolver,
java.lang.String problemname) |
protected Reader |
LanceurPseudo2007Eclipse.createReader(ISolver theSolver,
java.lang.String problemname) |
Modifier and Type | Class and Description |
---|---|
class |
JSONPBReader
Simple JSON reader for boolean optimization problems.
|
class |
OPBEclipseReader2007 |
class |
OPBReader2005
Based on the "Official" reader for the Pseudo Boolean evaluation 2005.
|
class |
OPBReader2006
Reader complying to the PB06 input format.
|
class |
OPBReader2007
Reader complying with the PB07 input format.
|
class |
OPBReader2010 |
class |
OPBReader2012
OPBReader allowing to read several objective functions in an OPB file.
|
class |
PBInstanceReader
An reader having the responsibility to choose the right reader according to
the input.
|
Modifier and Type | Method and Description |
---|---|
protected Reader |
PBInstanceReader.handleFileName(java.lang.String fname,
java.lang.String prefix) |
Modifier and Type | Class and Description |
---|---|
class |
AAGReader
Reader for the ASCII And Inverter Graph format defined by Armin Biere.
|
class |
AIGReader
Reader for the Binary And Inverter Graph format defined by Armin Biere.
|
class |
DimacsReader
Very simple Dimacs file parser.
|
class |
GroupedCNFReader |
class |
InstanceReader
An reader having the responsability to choose the right reader according to
the input.
|
class |
JSONReader<S extends ISolver>
Simple JSON reader for clauses and cardinality constraints.
|
class |
LecteurDimacs
Dimacs Reader written by Frederic Laihem.
|
Modifier and Type | Method and Description |
---|---|
protected Reader |
InstanceReader.handleFileName(java.lang.String fname,
java.lang.String prefix) |