Package | Description |
---|---|
org.key_project.exploration.actions |
Modifier and Type | Class and Description |
---|---|
class |
AddFormulaToAntecedentAction |
class |
AddFormulaToSuccedentAction |
class |
DeleteFormulaAction
Action for the user to visually delete formulas from the sequent (using hide)
|
class |
EditFormulaAction
Action to edit formulas in the actions mode
|
Copyright © 2003-2019 The KeY-Project.