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