public class MenuController
extends java.lang.Object
Constructor and Description |
---|
MenuController(MainController mainController) |
Modifier and Type | Method and Description |
---|---|
MainController |
getMainController() |
javax.swing.JPanel |
getPanel() |
TreeSettings |
getTreeSettings() |
TsSettings |
getTsSettings() |
void |
setTsAbstractions(org.processmining.plugins.transitionsystem.miner.TSMinerInput tsAbstractions)
method used by the TsSettingsRunner to store the TS abstractions object
here
|
void |
updateResults()
Button listeners
|
public MenuController(MainController mainController)
public javax.swing.JPanel getPanel()
public void setTsAbstractions(org.processmining.plugins.transitionsystem.miner.TSMinerInput tsAbstractions)
tsAbstractions
- public TsSettings getTsSettings()
public TreeSettings getTreeSettings()
public void updateResults()
public MainController getMainController()