public class RegionVisualizer
extends java.lang.Object
| Constructor and Description |
|---|
RegionVisualizer() |
| Modifier and Type | Method and Description |
|---|---|
javax.swing.JLabel |
visualizeGers(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.regions.GeneralizedExitationRegions gers) |
javax.swing.JLabel |
visualizeRegions(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet regions) |
public javax.swing.JLabel visualizeGers(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.regions.GeneralizedExitationRegions gers)
public javax.swing.JLabel visualizeRegions(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet regions)