|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Reader | |
---|---|
org.sat4j | Contains a command line launcher for the SAT solvers. |
org.sat4j.csp | Classes needed for CSP to SAT translation. |
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 | |
org.sat4j.pb.reader | |
org.sat4j.reader | Some utility classes to read problems from plain text files. |
org.sat4j.sat |
Uses of Reader in org.sat4j |
---|
Fields in org.sat4j declared as Reader | |
---|---|
protected Reader |
AbstractLauncher.reader
|
Methods in org.sat4j that return Reader | |
---|---|
protected abstract Reader |
AbstractLauncher.createReader(ISolver theSolver,
String problemname)
|
protected Reader |
BasicLauncher.createReader(ISolver theSolver,
String problemname)
|
Reader |
AbstractLauncher.getReader()
|
Uses of Reader in org.sat4j.csp |
---|
Methods in org.sat4j.csp that return Reader | |
---|---|
protected Reader |
CSPLauncher.createReader(ISolver aSolver,
String problemname)
|
Uses of Reader in org.sat4j.maxsat |
---|
Methods in org.sat4j.maxsat that return Reader | |
---|---|
protected Reader |
GenericOptLauncher.createReader(ISolver aSolver,
String problemname)
|
Uses of Reader in org.sat4j.maxsat.reader |
---|
Subclasses of Reader in org.sat4j.maxsat.reader | |
---|---|
class |
WDimacsReader
Simple reader for the weighted maxsat problem. |
Uses of Reader in org.sat4j.pb |
---|
Methods in org.sat4j.pb that return Reader | |
---|---|
protected Reader |
LanceurPseudo2007Eclipse.createReader(ISolver theSolver,
String problemname)
|
protected Reader |
LanceurPseudo2005.createReader(ISolver theSolver,
String problemname)
|
protected Reader |
LanceurPseudo2007.createReader(ISolver theSolver,
String problemname)
|
Uses of Reader in org.sat4j.pb.reader |
---|
Subclasses of Reader in org.sat4j.pb.reader | |
---|---|
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 |
PBInstanceReader
An reader having the responsibility to choose the right reader according to the input. |
Uses of Reader in org.sat4j.reader |
---|
Subclasses of Reader in org.sat4j.reader | |
---|---|
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 |
CSPExtSupportReader
|
class |
CSPInstanceReader
An reader having the responsability to choose the right reader according to the input. |
class |
CSPReader
This class is a CSP to SAT translator that is able to read a CSP problem using the First CSP solver competition input format and that translates it into clausal and cardinality (equality) constraints. |
class |
CSPSupportReader
|
class |
DimacsReader
Very simple Dimacs file parser. |
class |
InstanceReader
An reader having the responsability to choose the right reader according to the input. |
class |
LecteurDimacs
Dimacs Reader written by Frederic Laihem. |
class |
XMLCSPReader
|
Uses of Reader in org.sat4j.sat |
---|
Methods in org.sat4j.sat that return Reader | |
---|---|
protected Reader |
Lanceur.createReader(ISolver theSolver,
String problemname)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |