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