private class SolverListener.ProgressDialogListenerImpl extends java.lang.Object implements ProgressDialog.ProgressDialogListener
Modifier and Type | Field and Description |
---|---|
private boolean |
counterexample |
private SolverLauncher |
launcher |
Constructor and Description |
---|
ProgressDialogListenerImpl(SolverLauncher launcher,
boolean counterexample) |
Modifier and Type | Method and Description |
---|---|
void |
additionalInformationChosen(java.lang.Object obj) |
void |
applyButtonClicked() |
void |
discardButtonClicked() |
void |
infoButtonClicked(int column,
int row) |
void |
stopButtonClicked() |
private SolverLauncher launcher
private boolean counterexample
public ProgressDialogListenerImpl(SolverLauncher launcher, boolean counterexample)
public void infoButtonClicked(int column, int row)
infoButtonClicked
in interface ProgressTable.ProgressTableListener
public void stopButtonClicked()
stopButtonClicked
in interface ProgressDialog.ProgressDialogListener
public void applyButtonClicked()
applyButtonClicked
in interface ProgressDialog.ProgressDialogListener
public void discardButtonClicked()
discardButtonClicked
in interface ProgressDialog.ProgressDialogListener
public void additionalInformationChosen(java.lang.Object obj)
additionalInformationChosen
in interface ProgressDialog.ProgressDialogListener