| Interface | Description |
|---|---|
| AutoModeListener | |
| InteractionListener | |
| ProofControl |
A
ProofControl provides the user interface independent logic to apply rules on a proof. |
| RuleCompletionHandler |
Instances of this class are used by an
AbstractProofControl to complete a Rule completion. |
| UserInterfaceControl |
Provides the user interface independent logic to manage multiple proofs.
|
| Class | Description |
|---|---|
| AbstractProofControl |
Provides a basic implementation of
ProofControl. |
| AbstractProofControl.FocussedAutoModeTaskListener |
TODO
|
| AbstractUserInterfaceControl |
Provides a basic implementation of
UserInterfaceControl. |
| CompositePTListener |
A composite structure for prover task listeners.
|
| DefaultProofControl |
The default implementation of
ProofControl. |
| DefaultUserInterfaceControl |
The
DefaultUserInterfaceControl which allows proving in case
that no specific user interface is available. |
| InstantiationFileHandler | |
| KeYEnvironment<U extends UserInterfaceControl> |
Instances of this class are used to collect and access all
relevant information for verification with KeY.
|
| TermLabelVisibilityManager |
| Enum | Description |
|---|---|
| InteractionListener.SettingType |