Uses of Class
org.sat4j.reader.Reader

Packages that use Reader

Package	Description
org.sat4j	Contains 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

Modifier and Type	Field and Description
protected Reader	AbstractLauncher.reader

Methods in org.sat4j that return Reader

Modifier and Type	Method and Description
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()

Methods in org.sat4j with parameters of type Reader

Modifier and Type	Method and Description
void	ILauncherMode.displayResult(ISolver solver, IProblem problem, ILogAble logger, 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, PrintWriter out, long beginTime) Main solver call: one call for a decision problem, a loop for an optimization problem.

Uses of Reader in org.sat4j.reader

Subclasses of Reader in org.sat4j.reader

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.

Methods in org.sat4j.reader that return Reader

Modifier and Type	Method and Description
protected Reader	InstanceReader.handleFileName(String fname, String prefix)