Package jtabwbx.problems

Problem description reader for problems of the ILTP library.

See: Description

Class Summary

Class	Description
ILTPProblem	An object of this class describes a problem of the ILTP-library.
ILTPProblemReader	Problem reader for ILTP-library problems.
JTabWbSimpleProblem	Pitp problem description only contains one conjecture, the propositional formula to prove.
JTabWbSimpleProblemReader	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:
PlainProblemDescription	A problem consisting of exactly one conjecture.
PlainProblemReader	Instances of this class allow one to read a problem only consisting of the problem formula.

Exception Summary

Exception	Description
ILTPProblemParserError

Package jtabwbx.problems Description

Problem description reader for problems of the ILTP library.

Author:

Mauro Ferrari