private static class TryCloseMacro.TryCloseProgressBarListener extends ProofMacro.ProgressBarListener
Modifier and Type | Field and Description |
---|---|
private int |
notClosedGoals |
Modifier | Constructor and Description |
---|---|
|
TryCloseProgressBarListener(int numberGoals,
int numberSteps,
ProverTaskListener listener) |
private |
TryCloseProgressBarListener(java.lang.String name,
int numberGoals,
int numberSteps,
ProverTaskListener l) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
getMessageSuffix() |
private void |
incrementNotClosedGoals() |
taskFinished, taskProgress, taskStarted
getLevel
private TryCloseProgressBarListener(java.lang.String name, int numberGoals, int numberSteps, ProverTaskListener l)
public TryCloseProgressBarListener(int numberGoals, int numberSteps, ProverTaskListener listener)
protected java.lang.String getMessageSuffix()
getMessageSuffix
in class ProofMacro.ProgressBarListener
private void incrementNotClosedGoals()