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