Class | Description |
---|---|
AddFormulaToAntecedentAction | |
AddFormulaToSuccedentAction | |
DeleteFormulaAction |
Action for the user to visually delete formulas from the sequent (using hide)
|
EditFormulaAction |
Action to edit formulas in the actions mode
|
ExplorationAction |
Common functionalities for proof exploration actions.
|
ShowInteractiveBranchesAction | |
ToggleExplorationAction |
Toggles the Exploration Mode.
|
Copyright © 2003-2019 The KeY-Project.