private class GoalList.GoalListInteractiveListener extends java.lang.Object implements AutoModeListener
Modifier | Constructor and Description |
---|---|
private |
GoalListInteractiveListener() |
Modifier and Type | Method and Description |
---|---|
void |
autoModeStarted(ProofEvent e)
invoked if automatic execution of heuristics has started
|
void |
autoModeStopped(ProofEvent e)
invoked if automatic execution of heuristics has stopped
|
public void autoModeStarted(ProofEvent e)
autoModeStarted
in interface AutoModeListener
public void autoModeStopped(ProofEvent e)
autoModeStopped
in interface AutoModeListener