org.processmining.stream.config.fragments.gui
Classes
PanelBudgetConfiguration
PanelHeuristicsMinerConfiguration
PanelLossyCountingConfiguration
PanelModelMetricsConfiguration
PanelNetworkConfiguration