Uses of Class
org.sat4j.reader.Reader

Packages that use Reader

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

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.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	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.