Package | Description |
---|---|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
Modifier and Type | Method and Description |
---|---|
Launcher.LaunchConfiguration |
Launcher.getCurrentLauncherConfiguration()
Return an object describing the relevant details about the configuration of
the launcher.
|
Launcher.LaunchConfiguration |
Launcher.processCmdLineArguments(java.lang.String[] args)
Processes the command line arguments and defines the configuration of the
launcher; the method returns the object describing the essential details of
the current launcher configuration.
|
Modifier and Type | Method and Description |
---|---|
void |
_SingleExecutionConfigurator.configInitialNodeSetBuilder(ProblemDescription problemescrption,
Launcher.LaunchConfiguration launcherConfiguration)
This method is executed by the launcher immediately before invoking
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription) . |
void |
_SingleExecutionConfigurator.configProblemReader(_ProblemReader reader,
Launcher.LaunchConfiguration currentLauncherConfiguration)
This method is executed by the launcher immediately before invoking
_ProblemReader.read(java.io.Reader) . |
void |
_SingleExecutionConfigurator.configProver(_Prover prover,
_AbstractGoal initialGoal,
Launcher.LaunchConfiguration currentLauncherConfiguration)
This method is executed by the launcher immediately before invoking
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription) . |