public interface SolverLauncherListener
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) |
void launcherStopped(SolverLauncher launcher, java.util.Collection<SMTSolver> finishedSolvers)
void launcherStarted(java.util.Collection<SMTProblem> problems, java.util.Collection<SolverType> solverTypes, SolverLauncher launcher)