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