public class ResultsWrapperController
extends java.lang.Object
Constructor and Description |
---|
ResultsWrapperController(MainController mainController) |
Modifier and Type | Method and Description |
---|---|
void |
calculateResults(InputObject input,
SettingsObject settings) |
ResultsWrapperPanel |
getPanel() |
void |
updateContents(org.processmining.plugins.graphviz.visualisation.DotPanel graph) |
public ResultsWrapperController(MainController mainController)
public ResultsWrapperPanel getPanel()
public void updateContents(org.processmining.plugins.graphviz.visualisation.DotPanel graph)
public void calculateResults(InputObject input, SettingsObject settings)