| Package | Description |
|---|---|
| jtabwb.launcher |
Implementation of a command line launcher for provers.
|
| jtabwbx.problems |
Problem description reader for problems of the ILTP library.
|
| Class and Description |
|---|
| _InitialGoalBuilder
An object building the initial goal starting from a problem description.
|
| _ProblemReader
An object providing a parser for a problem description.
|
| _SingleExecutionConfigurator |
| ConfiguredTheoremProver
An object of this class describes a theorem prover added to the configuration
of the current launcher.
|
| InitialGoalBuilderException
Signals a problem during the execution of the method.
|
| Launcher.LaunchConfiguration
An object of this class describes the current configuration of the
launcher.
|
| Launcher.TestStatus
Describes the status of a test.
|
| LauncherConfigurationException
Signals an error in the configuration of the launcher.
|
| LauncherExecutionException
Signals an error during the eecution of the launcher.
|
| ProblemDescription
The description of a logical problem.
|
| ProblemDescriptionException
An error in the format of the formula description file.
|
| ProofSearchData
A bunch of data about a proof-search execution.
|
| ProofSearchData.TerminationStatus
Describes how the proof-search terminated.
|
| ProverDefinitionException
An error in the definition of a prover.
|
| ReaderDefinitionException
An error in the definition of a problem description reader.
|
| Class and Description |
|---|
| _ProblemReader
An object providing a parser for a problem description.
|
| ProblemDescription
The description of a logical problem.
|
| ProblemDescriptionException
An error in the format of the formula description file.
|