Package | Description |
---|---|
org.processmining.plugins.mapvis.visualize |
Modifier and Type | Method and Description |
---|---|
MapPanel |
MapImagePanel.getParentPane() |
Modifier and Type | Method and Description |
---|---|
void |
MapImagePanel.setParentPane(MapPanel parentPane) |
Constructor and Description |
---|
FilterEventAttribute(java.util.Collection<java.lang.String> eventFilter,
MapPanel parentPanel) |