Class | Description |
---|---|
ExplorationExtension |
Entry point for the Proof Exploration Extension.
|
ExplorationModeModel |
The central place to store global information for Proof Exploration.
|
ExplorationNodeData |
Information on exploration that is attached to nodes.
|
Icons |
Icons of the Exploration Extension
|
ProofExplorationService |
ExplorationAction that handles the addition of formulas to the sequent.
|
Enum | Description |
---|---|
ExplorationModeModel.ExplorationState |
State whether whole application (with shown second branch) or
simplified with hidden branch app should be used
|
Copyright © 2003-2019 The KeY-Project.