Uses of Class
org.sat4j.reader.ParseFormatException

Packages that use ParseFormatException

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

Uses of ParseFormatException in org.sat4j

Methods in org.sat4j that throw ParseFormatException

protected IProblem

AbstractLauncher.readProblem(String problemname) Reads a problem file from the command line.

Uses of ParseFormatException in org.sat4j.maxsat.reader

Methods in org.sat4j.maxsat.reader that throw ParseFormatException

protected boolean	WDimacsReader.handleLine()
protected void	WDimacsReader.readProblemLine()

Uses of ParseFormatException in org.sat4j.pb.reader

Methods in org.sat4j.pb.reader that throw ParseFormatException

protected void	OPBReader2005.checkId(StringBuffer s)
protected void	OPBReader2007.checkId(StringBuffer s)
protected void	OPBReader2007.literalInAProduct(String var, IVecInt lits) callback called when we read a term of a constraint
void	OPBReader2005.parse() parses the file and uses the callbacks to send to send the data back to the program
IProblem	OPBReader2005.parseInstance(InputStream in)
IProblem	OPBReader2005.parseInstance(Reader input)
IProblem	OPBReader2010.parseInstance(Reader input)
IProblem	PBInstanceReader.parseInstance(String filename)
protected void	OPBReader2005.readConstraint() read a constraint calls beginConstraint, constraintTerm and endConstraint
protected boolean	OPBReader2005.readIdentifier(StringBuffer s) read an identifier from stream and store it in s
protected void	OPBReader2005.readMetaData() read the first comment line to get the number of variables and the number of constraints in the file calls metaData with the data that was read
protected void	OPBReader2010.readMetaData() read the first comment line to get the number of variables and the number of constraints in the file calls metaData with the data that was read
protected void	OPBReader2007.readMetaData() read the first comment line to get the number of variables and the number of constraints in the file calls metaData with the data that was read
protected void	OPBReader2005.readObjective() read the objective line (if any) calls beginObjective, objectiveTerm and endObjective
protected void	OPBReader2010.readObjective()
protected void	OPBReader2005.readTerm(StringBuffer coeff, StringBuffer var) read a term into coeff and var
protected void	OPBReader2006.readTerm(StringBuffer coeff, StringBuffer var) read a term into coeff and var
protected void	OPBReader2007.readTerm(StringBuffer coeff, StringBuffer var)
protected void	OPBReader2005.readVariablesExplanation()
protected void	OPBEclipseReader2007.readVariablesExplanation() read the list for variables explanation (if any) calls beginListOfVariables and endListOfVariables
protected int	OPBReader2005.translateVarToId(String var)
protected int	OPBReader2007.translateVarToId(String var)

Uses of ParseFormatException in org.sat4j.reader

Methods in org.sat4j.reader that throw ParseFormatException

protected boolean	DimacsReader.handleLine()
protected boolean	GroupedCNFReader.handleLine()
String	EfficientScanner.next()
BigInteger	EfficientScanner.nextBigInteger()
int	EfficientScanner.nextInt() To get the next available integer.
IProblem	CSPReader.parseInstance(InputStream in)
IProblem	XMLCSPReader.parseInstance(InputStream in)
IProblem	InstanceReader.parseInstance(InputStream in)
IProblem	AAGReader.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	CSPReader.parseInstance(Reader in)
IProblem	CSPInstanceReader.parseInstance(Reader in)
IProblem	XMLCSPReader.parseInstance(Reader in)
IProblem	Reader.parseInstance(Reader in) Deprecated.
IProblem	CSPInstanceReader.parseInstance(String filename)
IProblem	XMLCSPReader.parseInstance(String filename)
IProblem	InstanceReader.parseInstance(String filename)
IProblem	Reader.parseInstance(String filename) This is the usual method to feed a solver with a benchmark.
protected void	DimacsReader.readConstrs()
protected void	DimacsReader.readProblemLine()
protected void	GroupedCNFReader.readProblemLine()

Uses of ParseFormatException in org.sat4j.sat

Methods in org.sat4j.sat that throw ParseFormatException

protected IProblem

Lanceur.readProblem(String problemname)