jtabwb.launcher

Interface _SingleExecutionConfigurator

public interface _SingleExecutionConfigurator

Method Summary

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

Method Detail

configProblemReader

void configProblemReader(_ProblemReader reader,
                         Launcher.LaunchConfiguration currentLauncherConfiguration)

This method is executed by the launcher immediately before invoking _ProblemReader.read(java.io.Reader).

Parameters:

reader - the reader that will be invoked

currentLauncherConfiguration - the current launcher configuration

configInitialNodeSetBuilder

void configInitialNodeSetBuilder(ProblemDescription problemescrption,
                                 Launcher.LaunchConfiguration launcherConfiguration)

This method is executed by the launcher immediately before invoking _InitialGoalBuilder.buildInitialNodeSet(ProblemDescription).

Parameters:

problemescrption - the current problem description

launcherConfiguration - the current launcher configuration

configProver

void configProver(_Prover prover,
                  _AbstractGoal initialGoal,
                  Launcher.LaunchConfiguration currentLauncherConfiguration)

This method is executed by the launcher immediately before invoking _InitialGoalBuilder.buildInitialNodeSet(ProblemDescription).

Parameters:

prover - the prover that will be invoked

initialGoal - the goal

currentLauncherConfiguration - the current launcher configuration