public class JTabWbSimpleProblemReader extends java.lang.Object implements _ProblemReader
%------------------------ % File : formula_name % Status : status %------------------------ <FORMULA> %------------------------where
formula_name
is the name of the problem,
status
is either provable
or
unprovable
and <FORMULA>
is the specification
of the formula. *Modifier and Type | Field and Description |
---|---|
static java.lang.String |
NAME |
Constructor and Description |
---|
JTabWbSimpleProblemReader()
Builds an instance of this problem description reader.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDescription()
Returns a string describing this problem reader.
|
java.lang.String |
getName()
Returns the name of this problem reader.
|
JTabWbSimpleProblem |
read(java.io.Reader input)
Returns the problem description corresponding to the PITP problem
description read from the specified stream.
|
public static final java.lang.String NAME
public JTabWbSimpleProblemReader()
public JTabWbSimpleProblem read(java.io.Reader input) throws ProblemDescriptionException, java.io.IOException
read
in interface _ProblemReader
input
- the stream with the PITP description of a problem.java.io.IOException
- if something goes wrong reading the file.ProblemDescriptionException
- if the input does not respect the problem format.public java.lang.String getDescription()
_ProblemReader
getDescription
in interface _ProblemReader
public java.lang.String getName()
_ProblemReader
getName
in interface _ProblemReader