Uses of Class
jtabwb.launcher.ProblemDescription

Packages that use ProblemDescription

Package	Description
jtabwb.launcher	Implementation of a command line launcher for provers.
jtabwbx.problems	Problem description reader for problems of the ILTP library.

Uses of ProblemDescription in jtabwb.launcher

Methods in jtabwb.launcher that return ProblemDescription

Modifier and Type	Method and Description
ProblemDescription	ProofSearchData.getProblemDescription()
ProblemDescription	_ProblemReader.read(java.io.Reader input) Reads the problem description from the specified Reader and returns the corresponding ProblemDescription.

Methods in jtabwb.launcher with parameters of type ProblemDescription

Modifier and Type	Method and Description
_AbstractGoal	_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription inputProblem) Build a goal from the specified problem description.
void	_SingleExecutionConfigurator.configInitialNodeSetBuilder(ProblemDescription problemescrption, Launcher.LaunchConfiguration launcherConfiguration) This method is executed by the launcher immediately before invoking _InitialGoalBuilder.buildInitialNodeSet(ProblemDescription).

Uses of ProblemDescription in jtabwbx.problems

Subclasses of ProblemDescription in jtabwbx.problems

Modifier and Type	Class and Description
class	ILTPProblem An object of this class describes a problem of the ILTP-library.
class	JTabWbSimpleProblem Pitp problem description only contains one conjecture, the propositional formula to prove.
class	PlainProblemDescription A problem consisting of exactly one conjecture.

Methods in jtabwbx.problems that return ProblemDescription

Modifier and Type	Method and Description
ProblemDescription	ILTPProblemReader.read(java.io.Reader input) Returns a problem-description of the problem read from the specified input stream.