All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type |
Method and Description |
void |
addWarning(SolverType type) |
private void |
applyEvent(SolverLauncher launcher) |
private void |
applyResults() |
private long |
calculateProgress(SolverListener.InternSMTProblem problem) |
private float |
calculateRemainingTime(SolverListener.InternSMTProblem problem) |
static String |
computeSolverTypeWarningMessage(SolverType type) |
static String |
computeSolverTypeWarningTitle(SolverType type) |
static String |
createExceptionTitle(SolverListener.InternSMTProblem problem) |
private void |
discardEvent(SolverLauncher launcher) |
private String |
finalizePath(String path,
SMTSolver solver,
Goal goal) |
private SolverListener.InternSMTProblem |
getProblem(int col,
int row) |
private String |
getTitle(SMTProblem p) |
private void |
interrupted(SolverListener.InternSMTProblem problem) |
void |
launcherStarted(Collection<SMTProblem> smtproblems,
Collection<SolverType> solverTypes,
SolverLauncher launcher) |
void |
launcherStopped(SolverLauncher launcher,
Collection<SMTSolver> problemSolvers) |
private void |
prepareDialog(Collection<SMTProblem> smtproblems,
Collection<SolverType> solverTypes,
SolverLauncher launcher) |
private void |
refreshDialog() |
private boolean |
refreshProgessOfProblem(SolverListener.InternSMTProblem problem) |
private void |
running(SolverListener.InternSMTProblem problem) |
private void |
setProgressText(int value) |
private void |
showInformation(SolverListener.InternSMTProblem problem) |
private void |
stopEvent(SolverLauncher launcher) |
private void |
stopped(SolverListener.InternSMTProblem problem) |
private void |
storeInformation() |
private void |
storeInformation(SMTProblem problem) |
private void |
storeSMTTranslation(SMTSolver solver,
Goal goal,
String problemString) |
private void |
storeTacletTranslation(SMTSolver solver,
Goal goal,
TacletSetTranslation translation) |
private void |
storeToFile(String text,
String path) |
private void |
successfullyStopped(SolverListener.InternSMTProblem problem,
int x,
int y) |
private void |
unknownStopped(SolverListener.InternSMTProblem problem,
int x,
int y) |
private void |
unsuccessfullyStopped(SolverListener.InternSMTProblem problem,
int x,
int y) |
private void |
waiting(SolverListener.InternSMTProblem problem) |