Package | Description |
---|---|
org.key_project.exploration.actions |
Modifier and Type | Method and Description |
---|---|
ExplorationModeModel |
ExplorationAction.getModel() |
Constructor and Description |
---|
ShowInteractiveBranchesAction(ExplorationModeModel model,
MainWindow mainWindow) |
ToggleExplorationAction(ExplorationModeModel model,
MainWindow mainWindow) |
Copyright © 2003-2019 The KeY-Project.