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