Package | Description |
---|---|
de.uka.ilkd.key.control | |
org.key_project.ui.interactionlog |
Modifier and Type | Method and Description |
---|---|
void |
AbstractProofControl.addAutoModeListener(AutoModeListener p) |
void |
ProofControl.addAutoModeListener(AutoModeListener p) |
void |
AbstractProofControl.removeAutoModeListener(AutoModeListener p) |
void |
ProofControl.removeAutoModeListener(AutoModeListener p) |
Modifier and Type | Class and Description |
---|---|
class |
InteractionRecorder |
Copyright © 2003-2019 The KeY-Project.