public interface SolverLauncherListener
Modifier and Type | Method and Description |
---|---|
void |
launcherStarted(Collection<SMTProblem> problems,
Collection<SolverType> solverTypes,
SolverLauncher launcher) |
void |
launcherStopped(SolverLauncher launcher,
Collection<SMTSolver> finishedSolvers) |
void launcherStopped(SolverLauncher launcher, Collection<SMTSolver> finishedSolvers)
void launcherStarted(Collection<SMTProblem> problems, Collection<SolverType> solverTypes, SolverLauncher launcher)