de.uka.ilkd.key.smt

Interface SolverLauncherListener

All Known Implementing Classes:

ModelGenerator, SolverListener

public interface SolverLauncherListener

This interface can be used to observe a launcher.

Method Summary

Modifier and Type	Method and Description
void	launcherStarted(java.util.Collection<SMTProblem> problems, java.util.Collection<SolverType> solverTypes, SolverLauncher launcher)
void	launcherStopped(SolverLauncher launcher, java.util.Collection<SMTSolver> finishedSolvers)

Method Detail

launcherStopped

void launcherStopped(SolverLauncher launcher,
                     java.util.Collection<SMTSolver> finishedSolvers)

launcherStarted

void launcherStarted(java.util.Collection<SMTProblem> problems,
                     java.util.Collection<SolverType> solverTypes,
                     SolverLauncher launcher)