public interface AutoModeListener
Modifier and Type | Method and Description |
---|---|
void |
autoModeStarted(ProofEvent e)
invoked if automatic execution has started
|
void |
autoModeStopped(ProofEvent e)
invoked if automatic execution has stopped
|
void autoModeStarted(ProofEvent e)
void autoModeStopped(ProofEvent e)