Uses of Class
org.sat4j.reader.Reader

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)
protected Reader	MUSLauncher.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	GroupedCNFReader
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)