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 |