jtabwbx.problems

Class JTabWbSimpleProblemReader

java.lang.Object

jtabwbx.problems.JTabWbSimpleProblemReader

All Implemented Interfaces:

_ProblemReader

public class JTabWbSimpleProblemReader
extends java.lang.Object
implements _ProblemReader

Instances of this class allow one to read a problem description in the JTabWb format where a problem is specified in a file in with the following structure:

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

Author:

Mauro Ferrari

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	NAME

Constructor Summary

Constructors

Constructor and Description
JTabWbSimpleProblemReader() Builds an instance of this problem description reader.

Method Summary

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NAME

public static final java.lang.String NAME

See Also:

Constant Field Values

Constructor Detail

JTabWbSimpleProblemReader

public JTabWbSimpleProblemReader()

Builds an instance of this problem description reader.

Method Detail

read

public JTabWbSimpleProblem read(java.io.Reader input)
                         throws ProblemDescriptionException,
                                java.io.IOException

Returns the problem description corresponding to the PITP problem description read from the specified stream.

Specified by:

read in interface _ProblemReader

Parameters:

input - the stream with the PITP description of a problem.

Returns:

the formula description.

Throws:

java.io.IOException - if something goes wrong reading the file.

ProblemDescriptionException - if the input does not respect the problem format.

getDescription

public java.lang.String getDescription()

Description copied from interface: _ProblemReader

Returns a string describing this problem reader.

Specified by:

getDescription in interface _ProblemReader

Returns:

the description of this reader.

getName

public java.lang.String getName()

Description copied from interface: _ProblemReader

Returns the name of this problem reader.

Specified by:

getName in interface _ProblemReader

Returns:

the description of this reader.