Uses of Class
org.sat4j.reader.ParseFormatException

Packages that use ParseFormatException

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 ParseFormatException in org.sat4j

Methods in org.sat4j that throw ParseFormatException

Modifier and Type	Method and Description
protected IProblem	AbstractLauncher.readProblem(String problemname) Reads a problem file from the command line.

Uses of ParseFormatException in org.sat4j.reader

Methods in org.sat4j.reader that throw ParseFormatException

Modifier and Type	Method and Description
protected IVecInt	JSONReader.getLiterals(String constraint)
protected void	JSONReader.handleCard(String constraint)
protected boolean	DimacsReader.handleLine()
protected boolean	GroupedCNFReader.handleLine()
protected void	JSONReader.handleNotHandled(String constraint)
String	EfficientScanner.next()
BigInteger	EfficientScanner.nextBigInteger()
int	EfficientScanner.nextInt() To get the next available integer.
IProblem	InstanceReader.parseInstance(InputStream in)
IProblem	AAGReader.parseInstance(InputStream in)
IProblem	JSONReader.parseInstance(InputStream in)
IProblem	LecteurDimacs.parseInstance(InputStream input)
abstract IProblem	Reader.parseInstance(InputStream in) Read a file from a stream.
IProblem	AIGReader.parseInstance(InputStream in)
IProblem	DimacsReader.parseInstance(InputStream in)
IProblem	Reader.parseInstance(Reader in) Deprecated.
IProblem	InstanceReader.parseInstance(String filename)
IProblem	Reader.parseInstance(String filename) This is the usual method to feed a solver with a benchmark.
ISolver	JSONReader.parseString(String json)
protected void	DimacsReader.readConstrs()
protected void	DimacsReader.readProblemLine()
protected void	GroupedCNFReader.readProblemLine()