Uses of Class
org.sat4j.reader.Reader

Packages that use Reader

org.sat4j	Contain a command line launcher for the SAT solvers.
org.sat4j.reader	Some utility classes to read problems from plain text files.

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 Reader	LanceurPseudo2007.createReader(ISolver solver, java.lang.String problemname)
protected Reader	GenericOptLauncher.createReader(ISolver solver, java.lang.String problemname)
protected Reader	LanceurPseudo2005.createReader(ISolver solver, java.lang.String problemname)
protected Reader	MaxSatLauncher.createReader(ISolver solver, java.lang.String problemname)
protected Reader	Lanceur.createReader(ISolver solver, java.lang.String problemname)
protected Reader	CSPLauncher.createReader(ISolver solver, java.lang.String problemname)
protected abstract Reader	AbstractLauncher.createReader(ISolver solver, java.lang.String problemname)
Reader	AbstractLauncher.getReader()

Uses of Reader in org.sat4j.reader

Subclasses of Reader in org.sat4j.reader

class	AAGReader
class	AIGReader
class	CardDimacsReader Deprecated.
class	CSPExtSupportReader
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	ExtendedDimacsReader Reader for the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh.
class	GoodOPBReader This class is a quick hack to read opb formatted files.
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	OPBReader2005 "Official" reader for the Pseudo Boolean evaluation 2005.
class	OPBReader2006 Reader complying to the PB06 input format.
class	OPBReader2007
class	XMLCSPReader