public interface _SingleExecutionConfigurator
Modifier and Type | Method and Description |
---|---|
void |
configInitialNodeSetBuilder(ProblemDescription problemescrption,
Launcher.LaunchConfiguration launcherConfiguration)
This method is executed by the launcher immediately before invoking
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription) . |
void |
configProblemReader(_ProblemReader reader,
Launcher.LaunchConfiguration currentLauncherConfiguration)
This method is executed by the launcher immediately before invoking
_ProblemReader.read(java.io.Reader) . |
void |
configProver(_Prover prover,
_AbstractGoal initialGoal,
Launcher.LaunchConfiguration currentLauncherConfiguration)
This method is executed by the launcher immediately before invoking
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription) . |
void configProblemReader(_ProblemReader reader, Launcher.LaunchConfiguration currentLauncherConfiguration)
_ProblemReader.read(java.io.Reader)
.reader
- the reader that will be invokedcurrentLauncherConfiguration
- the current launcher configurationvoid configInitialNodeSetBuilder(ProblemDescription problemescrption, Launcher.LaunchConfiguration launcherConfiguration)
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription)
.problemescrption
- the current problem descriptionlauncherConfiguration
- the current launcher configurationvoid configProver(_Prover prover, _AbstractGoal initialGoal, Launcher.LaunchConfiguration currentLauncherConfiguration)
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription)
.prover
- the prover that will be invokedinitialGoal
- the goalcurrentLauncherConfiguration
- the current launcher configuration