Interface | Description |
---|---|
Verbosity |
Class | Description |
---|---|
AbstractMediatorUserInterfaceControl |
Provides a basic implementation of
UserInterfaceControl for
user interfaces in which a KeYMediator is available. |
ConsoleUserInterfaceControl |
Implementation of
UserInterfaceControl used by command line interface of KeY. |
MediatorProofControl |
A
ProofControl which performs the automode in a SwingWorker . |