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.
|