public class DetailListener
extends java.lang.Object
implements java.awt.event.ActionListener
| Constructor and Description |
|---|
DetailListener(org.processmining.framework.util.ui.widgets.ProMSplitPane splitPanel,
org.processmining.plugins.DataConformance.Alignment align,
org.processmining.plugins.declareminer.visualizing.DeclareMap declareModel) |
| Modifier and Type | Method and Description |
|---|---|
void |
actionPerformed(java.awt.event.ActionEvent arg0) |
void |
showIt() |